Image coding method based on transform, and device for same

ABSTRACT

An image decoding method according to the present document may include the steps of: deriving the position of the final significant coefficient in the current block and transform coefficients for the current block on the basis of residual information; determining whether the index of a sub-block including the final significant coefficient is 0 and whether the position of the final significant coefficient in the sub-block is greater than 0; determining whether a significant coefficient exists in a second area excluding a first area at the upper left end of the current block; and parsing an LFNST index from a bitstream when the position of the final significant coefficient is determined to be greater than 0 in the sub-block in which the index is 0, and the significant coefficient does not exist in the second area.

TECHNICAL FIELD

The present disclosure relates to an image coding technique and, more particularly, to a method and an apparatus for coding an image based on transform in an image coding system.

RELATED ART

Nowadays, the demand for high-resolution and high-quality images/videos such as 4K, 8K or more ultra high definition (UHD) images/videos has been increasing in various fields. As the image/video data becomes higher resolution and higher quality, the transmitted information amount or bit amount increases as compared to the conventional image data. Therefore, when image data is transmitted using a medium such as a conventional wired/wireless broadband line or image/video data is stored using an existing storage medium, the transmission cost and the storage cost thereof are increased.

Further, nowadays, the interest and demand for immersive media such as virtual reality (VR), artificial reality (AR) content or hologram, or the like is increasing, and broadcasting for images/videos having image features different from those of real images, such as a game image is increasing.

Accordingly, there is a need for a highly efficient image/video compression technique for effectively compressing and transmitting or storing, and reproducing information of high resolution and high quality images/videos having various features as described above.

SUMMARY

A technical aspect of the present disclosure is to provide a method and an apparatus for increasing image coding efficiency.

Another technical aspect of the present disclosure is to provide a method and an apparatus for increasing efficiency in transform index coding.

Still another technical aspect of the present disclosure is to provide an image coding method and apparatus using LFNST.

Still another technical aspect of the present disclosure is to provide an image coding method and apparatus for zero-out performed when LFNST is applied.

According to an embodiment of the present disclosure, there is provided an image decoding method performed by a decoding apparatus. The method may include: deriving a position of a last significant coefficient in a current block and transform coefficients for the current block based on the residual information; determining whether an index of a subblock including the last significant coefficient is 0 and the position of the last significant coefficient in the subblock is greater than 0; determining indicating whether a significant coefficient exists in a second region other than a first region at the top-left of the current block; parsing an LFNST index from the bitstream when it is determined that the position of the last significant coefficient in the subblock having the index 0 is greater than 0 and the significant coefficient does not exist in the second region; and deriving modified transform coefficients by applying an LFNST matrix derived based on the LFNST index to the transform coefficients in the first region.

The method further comprises setting first flag information indicating whether the position of the last significant coefficient is greater than 0 in the subblock having the index 0 to 1, and when the position of the last significant coefficient in the subblock having the index 0 is greater than 0, changing the first flag information to 0 and parsing the LFNST index.

The method further comprises setting second flag information indicating whether a significant coefficient exists in the second region except for the first region to 1, and when there is no significant coefficient in the second region, maintaining the second flag information as 1 and parsing the LFNST index.

The second flag information is derived as 0 when the index of the sub-block including the last significant coefficient in the current block is greater than 0 and the width and height of the current block are 4 or more, and the LFNST index is not parsed when the second flag information is 0.

The second flag information is derived as 0 when the size of the current block is 4×4 or 8×8 and the position of the last significant coefficient is greater than or equal to 8, and the LFNST index is not parsed when the second flag information is 0.

According to another embodiment of the present disclosure, there is provided an image encoding method performed by an encoding apparatus. The method may include: deriving transform coefficients for the current block based on a primary transform for the residual samples; deriving modified transform coefficients for the current block based on the transform coefficients of a first region at the top-left of the current block and a predetermined LFNST matrix; zeroing out a second region of the current block in which the modified transform coefficients do not exist; constructing image information so that an LFNST index indicating the LFNST matrix is transmitted when an index of a subblock including a last significant coefficient in the current block is 0, a position of the last significant coefficient in the subblock is greater than 0, and the significant coefficient does not exist in the second region, and outputting the image information including residual information derived through quantization of the modified transform coefficients and the LFNST index.

According to still another embodiment of the present disclosure, there may be provided a digital storage medium that stores image data including encoded image information and a bitstream generated according to an image encoding method performed by an encoding apparatus.

According to yet another embodiment of the present disclosure, there may be provided a digital storage medium that stores image data including encoded image information and a bitstream to cause a decoding apparatus to perform the image decoding method.

According to the present disclosure, it is possible to increase overall image/video compression efficiency.

According to the present disclosure, it is possible to increase efficiency in transform index coding.

A technical aspect of the present disclosure may provide an image coding method and apparatus using LFNST.

A technical aspect of the present disclosure may provide an image coding method and apparatus for zero-out performed when LFNST is applied.

The effects that can be obtained through specific examples of the present disclosure are not limited to the effects listed above. For example, there may be various technical effects that a person having ordinary skill in the related art can understand or derive from the present disclosure. Accordingly, specific effects of the present disclosure are not limited to those explicitly described in the present disclosure and may include various effects that can be understood or derived from the technical features of the present disclosure.

BRIEF DESCRIPTION OF THE DRAWINGS

FIG. 1 is a diagram schematically illustrating a configuration of a video/image encoding apparatus to which the present disclosure is applicable.

FIG. 2 is a diagram schematically illustrating a configuration of a video/image decoding apparatus to which the present disclosure is applicable.

FIG. 3 is schematically illustrates a multiple transform scheme according to an embodiment of the present document.

FIG. 4 exemplarily shows intra directional modes of 65 prediction directions.

FIG. 5 is a diagram for explaining RST according to an embodiment of the present.

FIG. 6 is a diagram illustrating a sequence of arranging output data of a forward primary transformation into a one-dimensional vector according to an example.

FIG. 7 is a diagram illustrating a sequence of arranging output data of a forward secondary transform into a two-dimensional vector according to an example.

FIG. 8 is a diagram illustrating wide-angle intra prediction modes according to an embodiment of the present document.

FIG. 9 is a diagram illustrating a block shape to which LFNST is applied.

FIG. 10 is a diagram illustrating an arrangement of output data of a forward LFNST according to an example.

FIG. 11 is a diagram illustrating that the number of output data for a forward LFNST is limited to a maximum of 16 according to an example.

FIG. 12 is a diagram illustrating zero-out in a block to which 4×4 LFNST is applied according to an example.

FIG. 13 is a diagram illustrating zero-out in a block to which 8×8 LFNST is applied according to an example.

FIG. 14 is a diagram illustrating zero-out in a block to which 8×8 LFNST is applied according to another example.

FIG. 15 is a flowchart for explaining an image decoding method according to an example.

FIG. 16 is a flowchart for explaining an image encoding method according to an example.

FIG. 17 schematically illustrates an example of a video/image coding system to which the present disclosure is applicable.

FIG. 18 illustrates the structure of a content streaming system to which the present disclosure is applied.

DESCRIPTION OF EXEMPLARY EMBODIMENTS

While the present disclosure may be susceptible to various modifications and include various embodiments, specific embodiments thereof have been shown in the drawings by way of example and will now be described in detail. However, this is not intended to limit the present disclosure to the specific embodiments disclosed herein. The terminology used herein is for the purpose of describing specific embodiments only, and is not intended to limit technical idea of the present disclosure. The singular forms may include the plural forms unless the context clearly indicates otherwise. The terms such as “include” and “have” are intended to indicate that features, numbers, steps, operations, elements, components, or combinations thereof used in the following description exist, and thus should not be understood as that the possibility of existence or addition of one or more different features, numbers, steps, operations, elements, components, or combinations thereof is excluded in advance.

Meanwhile, each component on the drawings described herein is illustrated independently for convenience of description as to characteristic functions different from each other, and however, it is not meant that each component is realized by a separate hardware or software. For example, any two or more of these components may be combined to form a single component, and any single component may be divided into plural components. The embodiments in which components are combined and/or divided will belong to the scope of the patent right of the present disclosure as long as they do not depart from the essence of the present disclosure.

Hereinafter, preferred embodiments of the present disclosure will be explained in more detail while referring to the attached drawings. In addition, the same reference signs are used for the same components on the drawings, and repeated descriptions for the same components will be omitted.

This document relates to video/image coding. For example, the method/example disclosed in this document may relate to a VVC (Versatile Video Coding) standard (ITU-T Rec. H.266), a next-generation video/image coding standard after VVC, or other video coding related standards (e.g., HEVC (High Efficiency Video Coding) standard (ITU-T Rec. H.265), EVC (essential video coding) standard, AVS2 standard, etc.).

In this document, a variety of embodiments relating to video/image coding may be provided, and, unless specified to the contrary, the embodiments may be combined to each other and be performed.

In this document, a video may mean a set of a series of images over time. Generally a picture means a unit representing an image at a specific time zone, and a slice/tile is a unit constituting a part of the picture. The slice/tile may include one or more coding tree units (CTUs). One picture may be constituted by one or more slices/tiles. One picture may be constituted by one or more tile groups. One tile group may include one or more tiles.

A pixel or a pel may mean a smallest unit constituting one picture (or image). Also, ‘sample’ may be used as a term corresponding to a pixel. A sample may generally represent a pixel or a value of a pixel, and may represent only a pixel/pixel value of a luma component or only a pixel/pixel value of a chroma component. Alternatively, the sample may refer to a pixel value in the spatial domain, or when this pixel value is converted to the frequency domain, it may refer to a transform coefficient in the frequency domain.

A unit may represent the basic unit of image processing. The unit may include at least one of a specific region and information related to the region. One unit may include one luma block and two chroma (e.g., cb, cr) blocks. The unit and a term such as a block, an area, or the like may be used in place of each other according to circumstances. In a general case, an M×N block may include a set (or an array) of samples (or sample arrays) or transform coefficients consisting of M columns and N rows.

In this document, the term “/” and “,” should be interpreted to indicate “and/or.” For instance, the expression “A/B” may mean “A and/or B.” Further, “A, B” may mean “A and/or B.” Further, “A/B/C” may mean “at least one of A, B, and/or C.” Also, “A/B/C” may mean “at least one of A, B, and/or C.”

Further, in the document, the term “or” should be interpreted to indicate “and/or.” For instance, the expression “A or B” may include 1) only A, 2) only B, and/or 3) both A and B. In other words, the term “or” in this document should be interpreted to indicate “additionally or alternatively.”

In the present disclosure, “at least one of A and B” may mean “only A”, “only B”, or “both A and B”. In addition, in the present disclosure, the expression “at least one of A or B” or “at least one of A and/or B” may be interpreted as “at least one of A and B”.

In addition, in the present disclosure, “at least one of A, B, and C” may mean “only A”, “only B”, “only C”, or “any combination of A, B, and C”. In addition, “at least one of A, B, or C” or “at least one of A, B, and/or C” may mean “at least one of A, B, and C”.

In addition, a parenthesis used in the present disclosure may mean “for example”. Specifically, when indicated as “prediction (intra prediction)”, it may mean that “intra prediction” is proposed as an example of “prediction”. In other words, the “prediction” of the present disclosure is not limited to “intra prediction”, and “intra prediction” may be proposed as an example of “prediction”. In addition, when indicated as “prediction (i.e., intra prediction)”, it may also mean that “intra prediction” is proposed as an example of “prediction”.

Technical features individually described in one figure in the present disclosure may be individually implemented or may be simultaneously implemented.

FIG. 1 is a schematic diagram illustrating a configuration of a video/image encoding apparatus to which the embodiment(s) of the present document may be applied. Hereinafter, the video encoding apparatus may include an image encoding apparatus.

Referring to FIG. 1 , the encoding apparatus 100 includes an image partitioner 110, a predictor 120, a residual processor 130, and an entropy encoder 140, an adder 150, a filter 160, and a memory 170. The predictor 120 may include an inter predictor 121 and an intra predictor 122. The residual processor 130 may include a transformer 132, a quantizer 133, a dequantizer 134, and an inverse transformer 135. The residual processor 130 may further include a subtractor 131. The adder 150 may be called a reconstructor or a reconstructed block generator. The image partitioner 110, the predictor 120, the residual processor 130, the entropy encoder 140, the adder 150, and the filter 160 may be configured by at least one hardware component (e.g., an encoder chipset or processor) according to an embodiment. In addition, the memory 170 may include a decoded picture buffer (DPB) or may be configured by a digital storage medium. The hardware component may further include the memory 170 as an internal/external component.

The image partitioner 110 may partition an input image (or a picture or a frame) input to the encoding apparatus 100 into one or more processing units. For example, the processor may be called a coding unit (CU). In this case, the coding unit may be recursively partitioned according to a quad-tree binary-tree ternary-tree (QTBTTT) structure from a coding tree unit (CTU) or a largest coding unit (LCU). For example, one coding unit may be partitioned into a plurality of coding units of a deeper depth based on a quad tree structure, a binary tree structure, and/or a ternary structure. In this case, for example, the quad tree structure may be applied first and the binary tree structure and/or ternary structure may be applied later. Alternatively, the binary tree structure may be applied first. The coding procedure according to this document may be performed based on the final coding unit that is no longer partitioned. In this case, the largest coding unit may be used as the final coding unit based on coding efficiency according to image characteristics, or if necessary, the coding unit may be recursively partitioned into coding units of deeper depth and a coding unit having an optimal size may be used as the final coding unit. Here, the coding procedure may include a procedure of prediction, transform, and reconstruction, which will be described later. As another example, the processor may further include a prediction unit (PU) or a transform unit (TU). In this case, the prediction unit and the transform unit may be split or partitioned from the aforementioned final coding unit. The prediction unit may be a unit of sample prediction, and the transform unit may be a unit for deriving a transform coefficient and/or a unit for deriving a residual signal from the transform coefficient.

The unit may be used interchangeably with terms such as block or area in some cases. In a general case, an M×N block may represent a set of samples or transform coefficients composed of M columns and N rows. A sample may generally represent a pixel or a value of a pixel, may represent only a pixel/pixel value of a luma component or represent only a pixel/pixel value of a chroma component. A sample may be used as a term corresponding to one picture (or image) for a pixel or a pel.

In the encoding apparatus 100, a prediction signal (predicted block, prediction sample array) output from the inter predictor 121 or the intra predictor 122 is subtracted from an input image signal (original block, original sample array) to generate a residual signal residual block, residual sample array), and the generated residual signal is transmitted to the transformer 132. In this case, as shown, a unit for subtracting a prediction signal (predicted block, prediction sample array) from the input image signal (original block, original sample array) in the encoding apparatus 100 may be called a subtractor 131. The predictor may perform prediction on a block to be processed (hereinafter, referred to as a current block) and generate a predicted block including prediction samples for the current block. The predictor may determine whether intra prediction or inter prediction is applied on a current block or CU basis. As described later in the description of each prediction mode, the predictor may generate various kinds of information related to prediction, such as prediction mode information, and transmit the generated information to the entropy encoder 140. The information on the prediction may be encoded in the entropy encoder 140 and output in the form of a bitstream.

The intra predictor 122 may predict the current block by referring to the samples in the current picture. The referred samples may be located in the neighborhood of the current block or may be located apart according to the prediction mode. In the intra prediction, prediction modes may include a plurality of non-directional modes and a plurality of directional modes. The non-directional mode may include, for example, a DC mode and a planar mode. The directional mode may include, for example, 33 directional prediction modes or 65 directional prediction modes according to the degree of detail of the prediction direction. However, this is merely an example, more or less directional prediction modes may be used depending on a setting. The intra predictor 122 may determine the prediction mode applied to the current block by using a prediction mode applied to a neighboring block.

The inter predictor 121 may derive a predicted block for the current block based on a reference block (reference sample array) specified by a motion vector on a reference picture. Here, in order to reduce the amount of motion information transmitted in the inter prediction mode, the motion information may be predicted in units of blocks, subblocks, or samples based on correlation of motion information between the neighboring block and the current block. The motion information may include a motion vector and a reference picture index. The motion information may further include inter prediction direction (L0 prediction, L1 prediction, Bi prediction, etc.) information. In the case of inter prediction, the neighboring block may include a spatial neighboring block present in the current picture and a temporal neighboring block present in the reference picture. The reference picture including the reference block and the reference picture including the temporal neighboring block may be the same or different. The temporal neighboring block may be called a collocated reference block, a co-located CU (colCU), and the like, and the reference picture including the temporal neighboring block may be called a collocated picture (colPic). For example, the inter predictor 121 may construct a motion information candidate list based on neighboring blocks and generate information indicating which candidate is used to derive a motion vector and/or a reference picture index of the current block. Inter prediction may be performed based on various prediction modes. For example, in the case of a skip mode and a merge mode, the inter predictor 121 may use motion information of the neighboring block as motion information of the current block. In the skip mode, unlike the merge mode, the residual signal may not be transmitted. In the case of the motion vector prediction (MVP) mode, the motion vector of the neighboring block may be used as a motion vector predictor and the motion vector of the current block may be indicated by signaling a motion vector difference.

The predictor 120 may generate a prediction signal based on various prediction methods described below. For example, the predictor may not only apply intra prediction or inter prediction to predict one block but also simultaneously apply both intra prediction and inter prediction. This may be called combined inter and intra prediction (CIIP). In addition, the predictor may be based on an intra block copy (IBC) prediction mode or a palette mode for prediction of a block. The IBC prediction mode or palette mode may be used for content image/video coding of a game or the like, for example, screen content coding (SCC). The IBC basically performs prediction in the current picture but may be performed similarly to inter prediction in that a reference block is derived in the current picture. That is, the IBC may use at least one of the inter prediction techniques described in this document. The palette mode may be considered as an example of intra coding or intra prediction. When the palette mode is applied, a sample value within a picture may be signaled based on information on the palette table and the palette index.

The prediction signal generated by the predictor (including the inter predictor 121 and/or the intra predictor 122) may be used to generate a reconstructed signal or to generate a residual signal. The transformer 132 may generate transform coefficients by applying a transform technique to the residual signal. For example, the transform technique may include at least one of a discrete cosine transform (DCT), a discrete sine transform (DST), a karhunen-loève transform (KLT), a graph-based transform (GBT), or a conditionally non-linear transform (CNT). Here, the GBT means transform obtained from a graph when relationship information between pixels is represented by the graph. The CNT refers to transform generated based on a prediction signal generated using all previously reconstructed pixels. In addition, the transform process may be applied to square pixel blocks having the same size or may be applied to blocks having a variable size rather than square.

The quantizer 133 may quantize the transform coefficients and transmit them to the entropy encoder 140 and the entropy encoder 140 may encode the quantized signal (information on the quantized transform coefficients) and output a bitstream. The information on the quantized transform coefficients may be referred to as residual information. The quantizer 133 may rearrange block type quantized transform coefficients into a one-dimensional vector form based on a coefficient scanning order and generate information on the quantized transform coefficients based on the quantized transform coefficients in the one-dimensional vector form. Information on transform coefficients may be generated. The entropy encoder 140 may perform various encoding methods such as, for example, exponential Golomb, context-adaptive variable length coding (CAVLC), context-adaptive binary arithmetic coding (CABAC), and the like. The entropy encoder 140 may encode information necessary for video/image reconstruction other than quantized transform coefficients (e.g., values of syntax elements, etc.) together or separately. Encoded information (e.g., encoded video/image information) may be transmitted or stored in units of NALs (network abstraction layer) in the form of a bitstream. The video/image information may further include information on various parameter sets such as an adaptation parameter set (APS), a picture parameter set (PPS), a sequence parameter set (SPS), or a video parameter set (VPS). In addition, the video/image information may further include general constraint information. In this document, information and/or syntax elements transmitted/signaled from the encoding apparatus to the decoding apparatus may be included in video/picture information. The video/image information may be encoded through the above-described encoding procedure and included in the bitstream. The bitstream may be transmitted over a network or may be stored in a digital storage medium. The network may include a broadcasting network and/or a communication network, and the digital storage medium may include various storage media such as USB, SD, CD, DVD, Blu-ray, HDD, SSD, and the like. A transmitter (not shown) transmitting a signal output from the entropy encoder 140 and/or a storage unit (not shown) storing the signal may be included as internal/external element of the encoding apparatus 100, and alternatively, the transmitter may be included in the entropy encoder 140.

The quantized transform coefficients output from the quantizer 133 may be used to generate a prediction signal. For example, the residual signal (residual block or residual samples) may be reconstructed by applying dequantization and inverse transform to the quantized transform coefficients through the dequantizer 134 and the inverse transformer 135. The adder 150 adds the reconstructed residual signal to the prediction signal output from the inter predictor 121 or the intra predictor 122 to generate a reconstructed signal (reconstructed picture, reconstructed block, reconstructed sample array). If there is no residual for the block to be processed, such as a case where the skip mode is applied, the predicted block may be used as the reconstructed block. The adder 150 may be called a reconstructor or a reconstructed block generator. The generated reconstructed signal may be used for intra prediction of a next block to be processed in the current picture and may be used for inter prediction of a next picture through filtering as described below.

Meanwhile, luma mapping with chroma scaling (LMCS) may be applied during picture encoding and/or reconstruction.

The filter 160 may improve subjective/objective image quality by applying filtering to the reconstructed signal. For example, the filter 160 may generate a modified reconstructed picture by applying various filtering methods to the reconstructed picture and store the modified reconstructed picture in the memory 170, specifically, a DPB of the memory 170. The various filtering methods may include, for example, deblocking filtering, a sample adaptive offset, an adaptive loop filter, a bilateral filter, and the like. The filter 160 may generate various kinds of information related to the filtering and transmit the generated information to the entropy encoder 140 as described later in the description of each filtering method. The information related to the filtering may be encoded by the entropy encoder 140 and output in the form of a bitstream.

The modified reconstructed picture transmitted to the memory 170 may be used as the reference picture in the inter predictor 121. When the inter prediction is applied through the encoding apparatus, prediction mismatch between the encoding apparatus 100 and the decoding apparatus may be avoided and encoding efficiency may be improved.

The DPB of the memory 170 may store the modified reconstructed picture for use as a reference picture in the inter predictor 121. The memory 170 may store the motion information of the block from which the motion information in the current picture is derived (or encoded) and/or the motion information of the blocks in the picture that have already been reconstructed. The stored motion information may be transmitted to the inter predictor 121 and used as the motion information of the spatial neighboring block or the motion information of the temporal neighboring block. The memory 170 may store reconstructed samples of reconstructed blocks in the current picture and may transfer the reconstructed samples to the intra predictor 122.

FIG. 2 is a schematic diagram illustrating a configuration of a video/image decoding apparatus to which the embodiment(s) of the present document may be applied.

Referring to FIG. 2 , the decoding apparatus 200 may include an entropy decoder 210, a residual processor 220, a predictor 230, an adder 240, a filter 250, a memory 260. The predictor 230 may include an inter predictor 231 and an intra predictor 232. The residual processor 220 may include a dequantizer 221 and an inverse transformer 221. The entropy decoder 210, the residual processor 220, the predictor 230, the adder 240, and the filter 250 may be configured by a hardware component (e.g., a decoder chipset or a processor) according to an embodiment. In addition, the memory 260 may include a decoded picture buffer (DPB) or may be configured by a digital storage medium. The hardware component may further include the memory 260 as an internal/external component.

When a bitstream including video/image information is input, the decoding apparatus 200 may reconstruct an image corresponding to a process in which the video/image information is processed in the encoding apparatus of FIG. 1 . For example, the decoding apparatus 200 may derive units/blocks based on block partition related information obtained from the bitstream. The decoding apparatus 200 may perform decoding using a processor applied in the encoding apparatus. Thus, the processor of decoding may be a coding unit, for example, and the coding unit may be partitioned according to a quad tree structure, binary tree structure and/or ternary tree structure from the coding tree unit or the largest coding unit. One or more transform units may be derived from the coding unit. The reconstructed image signal decoded and output through the decoding apparatus 200 may be reproduced through a reproducing apparatus.

The decoding apparatus 200 may receive a signal output from the encoding apparatus of FIG. 1 in the form of a bitstream, and the received signal may be decoded through the entropy decoder 210. For example, the entropy decoder 210 may parse the bitstream to derive information (e.g., video/image information) necessary for image reconstruction (or picture reconstruction). The video/image information may further include information on various parameter sets such as an adaptation parameter set (APS), a picture parameter set (PPS), a sequence parameter set (SPS), or a video parameter set (VPS). In addition, the video/image information may further include general constraint information. The decoding apparatus may further decode picture based on the information on the parameter set and/or the general constraint information. Signaled/received information and/or syntax elements described later in this document may be decoded may decode the decoding procedure and obtained from the bitstream. For example, the entropy decoder 210 decodes the information in the bitstream based on a coding method such as exponential Golomb coding, CAVLC, or CABAC, and output syntax elements required for image reconstruction and quantized values of transform coefficients for residual. More specifically, the CABAC entropy decoding method may receive a bin corresponding to each syntax element in the bitstream, determine a context model using a decoding target syntax element information, decoding information of a decoding target block or information of a symbol/bin decoded in a previous stage, and perform an arithmetic decoding on the bin by predicting a probability of occurrence of a bin according to the determined context model, and generate a symbol corresponding to the value of each syntax element. In this case, the CABAC entropy decoding method may update the context model by using the information of the decoded symbol/bin for a context model of a next symbol/bin after determining the context model. The information related to the prediction among the information decoded by the entropy decoder 210 may be provided to the predictor (the inter predictor 232 and the intra predictor 231), and the residual value on which the entropy decoding was performed in the entropy decoder 210, that is, the quantized transform coefficients and related parameter information, may be input to the residual processor 220. The residual processor 220 may derive the residual signal (the residual block, the residual samples, the residual sample array). In addition, information on filtering among information decoded by the entropy decoder 210 may be provided to the filter 250. Meanwhile, a receiver (not shown) for receiving a signal output from the encoding apparatus may be further configured as an internal/external element of the decoding apparatus 200, or the receiver may be a component of the entropy decoder 210. Meanwhile, the decoding apparatus according to this document may be referred to as a video/image/picture decoding apparatus, and the decoding apparatus may be classified into an information decoder (video/image/picture information decoder) and a sample decoder (video/image/picture sample decoder). The information decoder may include the entropy decoder 210, and the sample decoder may include at least one of the dequantizer 221, the inverse transformer 222, the adder 240, the filter 250, the memory 260, the inter predictor 232, and the intra predictor 231.

The dequantizer 221 may dequantize the quantized transform coefficients and output the transform coefficients. The dequantizer 221 may rearrange the quantized transform coefficients in the form of a two-dimensional block form. In this case, the rearrangement may be performed based on the coefficient scanning order performed in the encoding apparatus. The dequantizer 221 may perform dequantization on the quantized transform coefficients by using a quantization parameter (e.g., quantization step size information) and obtain transform coefficients.

The inverse transformer 222 inversely transforms the transform coefficients to obtain a residual signal (residual block, residual sample array).

The predictor may perform prediction on the current block and generate a predicted block including prediction samples for the current block. The predictor may determine whether intra prediction or inter prediction is applied to the current block based on the information on the prediction output from the entropy decoder 210 and may determine a specific intra/inter prediction mode.

The predictor 220 may generate a prediction signal based on various prediction methods described below. For example, the predictor may not only apply intra prediction or inter prediction to predict one block but also simultaneously apply intra prediction and inter prediction. This may be called combined inter and intra prediction (CIIP). In addition, the predictor may be based on an intra block copy (IBC) prediction mode or a palette mode for prediction of a block. The IBC prediction mode or palette mode may be used for content image/video coding of a game or the like, for example, screen content coding (SCC). The IBC basically performs prediction in the current picture but may be performed similarly to inter prediction in that a reference block is derived in the current picture. That is, the IBC may use at least one of the inter prediction techniques described in this document. The palette mode may be considered as an example of intra coding or intra prediction. When the palette mode is applied, a sample value within a picture may be signaled based on information on the palette table and the palette index.

The intra predictor 231 may predict the current block by referring to the samples in the current picture. The referenced samples may be located in the neighborhood of the current block or may be located apart according to the prediction mode. In intra prediction, prediction modes may include a plurality of non-directional modes and a plurality of directional modes. The intra predictor 231 may determine the prediction mode applied to the current block by using the prediction mode applied to the neighboring block.

The inter predictor 232 may derive a predicted block for the current block based on a reference block (reference sample array) specified by a motion vector on a reference picture. In this case, in order to reduce the amount of motion information transmitted in the inter prediction mode, motion information may be predicted in units of blocks, subblocks, or samples based on correlation of motion information between the neighboring block and the current block. The motion information may include a motion vector and a reference picture index. The motion information may further include inter prediction direction (L0 prediction, L1 prediction, Bi prediction, etc.) information. In the case of inter prediction, the neighboring block may include a spatial neighboring block present in the current picture and a temporal neighboring block present in the reference picture. For example, the inter predictor 232 may construct a motion information candidate list based on neighboring blocks and derive a motion vector of the current block and/or a reference picture index based on the received candidate selection information. Inter prediction may be performed based on various prediction modes, and the information on the prediction may include information indicating a mode of inter prediction for the current block.

The adder 240 may generate a reconstructed signal (reconstructed picture, reconstructed block, reconstructed sample array) by adding the obtained residual signal to the prediction signal (predicted block, predicted sample array) output from the predictor (including the inter predictor 232 and/or the intra predictor 231). If there is no residual for the block to be processed, such as when the skip mode is applied, the predicted block may be used as the reconstructed block.

The adder 240 may be called a reconstructor or a reconstructed block generator. The generated reconstructed signal may be used for intra prediction of a next block to be processed in the current picture, may be output through filtering as described below, or may be used for inter prediction of a next picture.

Meanwhile, luma mapping with chroma scaling (LMCS) may be applied in the picture decoding process.

The filter 250 may improve subjective/objective image quality by applying filtering to the reconstructed signal. For example, the filter 250 may generate a modified reconstructed picture by applying various filtering methods to the reconstructed picture and store the modified reconstructed picture in the memory 260, specifically, a DPB of the memory 260. The various filtering methods may include, for example, deblocking filtering, a sample adaptive offset, an adaptive loop filter, a bilateral filter, and the like.

The (modified) reconstructed picture stored in the DPB of the memory 260 may be used as a reference picture in the inter predictor 232. The memory 260 may store the motion information of the block from which the motion information in the current picture is derived (or decoded) and/or the motion information of the blocks in the picture that have already been reconstructed. The stored motion information may be transmitted to the inter predictor 160 so as to be utilized as the motion information of the spatial neighboring block or the motion information of the temporal neighboring block. The memory 260 may store reconstructed samples of reconstructed blocks in the current picture and transfer the reconstructed samples to the intra predictor 231.

In this document, the embodiments described in the filter 160, the inter predictor 121, and the intra predictor 122 of the encoding apparatus 100 may be the same as or respectively applied to correspond to the filter 250, the inter predictor 232, and the intra predictor 231 of the decoding apparatus 200.

As described above, in performing video coding, a prediction is performed to enhance compression efficiency. A predicted block including prediction samples for a current block, that is, a target coding block, can be generated through the prediction. In this case, the predicted block includes the prediction samples in a spatial domain (or pixel domain). The predicted block is identically derived in the encoding apparatus and the decoding apparatus. The encoding apparatus can enhance image coding efficiency by signaling, to the decoding apparatus, information on a residual (residual information) between the original block not an original sample value itself of the original block and the predicted block. The decoding apparatus may derive a residual block including residual samples based on the residual information, may generate a reconstructed including reconstructed samples by adding the residual block and the predicted block, and may generate a reconstructed picture including the reconstructed blocks.

The residual information may be generated through a transform and quantization procedure. For example, the encoding apparatus may derive the residual block between the original block and the predicted block, may derive transform coefficients by performing a transform procedure on the residual samples (residual sample array) included in the residual block, may derive quantized transform coefficients by performing a quantization procedure on the transform coefficients, and may signal related residual information to the decoding apparatus (through a bitstream). In this case, the residual information may include information, such as value information, location information, transform scheme, transform kernel, and quantization parameter of the quantized transform coefficients. The decoding apparatus may perform a dequantization/inverse transform procedure based on the residual information, and may derive residual samples (or residual block). The decoding apparatus may generate a reconstructed picture based on the predicted block and the residual block. Furthermore, the encoding apparatus may derive a residual block by dequantizing/inverse-transforming the quantized transform coefficients for reference to the inter prediction of a subsequent picture, and may generate a reconstructed picture.

FIG. 3 schematically illustrates a multiple transform technique according to an embodiment of the present disclosure.

Referring to FIG. 3 , a transformer may correspond to the transformer in the encoding apparatus of foregoing FIG. 1 , and an inverse transformer may correspond to the inverse transformer in the encoding apparatus of foregoing FIG. 1 , or to the inverse transformer in the decoding apparatus of FIG. 2 .

The transformer may derive (primary) transform coefficients by performing a primary transform based on residual samples (residual sample array) in a residual block (S310). This primary transform may be referred to as a core transform. Herein, the primary transform may be based on multiple transform selection (MTS), and when a multiple transform is applied as the primary transform, it may be referred to as a multiple core transform.

The multiple core transform may represent a method of transforming additionally using discrete cosine transform (DCT) type 2 and discrete sine transform (DST) type 7, DCT type 8, and/or DST type 1. That is, the multiple core transform may represent a transform method of transforming a residual signal (or residual block) of a space domain into transform coefficients (or primary transform coefficients) of a frequency domain based on a plurality of transform kernels selected from among the DCT type 2, the DST type 7, the DCT type 8 and the DST type 1. Herein, the primary transform coefficients may be called temporary transform coefficients from the viewpoint of the transformer.

In other words, when the conventional transform method is applied, transform coefficients might be generated by applying transform from a space domain to a frequency domain for a residual signal (or residual block) based on the DCT type 2. Unlike to this, when the multiple core transform is applied, transform coefficients (or primary transform coefficients) may be generated by applying transform from a space domain to a frequency domain for a residual signal (or residual block) based on the DCT type 2, the DST type 7, the DCT type 8, and/or DST type 1. Herein, the DCT type 2, the DST type 7, the DCT type 8, and the DST type 1 may be called a transform type, transform kernel or transform core. These DCT/DST transform types can be defined based on basis functions.

When the multiple core transform is performed, a vertical transform kernel and a horizontal transform kernel for a target block may be selected from among the transform kernels, a vertical transform may be performed on the target block based on the vertical transform kernel, and a horizontal transform may be performed on the target block based on the horizontal transform kernel. Here, the horizontal transform may indicate a transform on horizontal components of the target block, and the vertical transform may indicate a transform on vertical components of the target block. The vertical transform kernel/horizontal transform kernel may be adaptively determined based on a prediction mode and/or a transform index for the target block (CU or subblock) including a residual block.

Further, according to an example, if the primary transform is performed by applying the MTS, a mapping relationship for transform kernels may be set by setting specific basis functions to predetermined values and combining basis functions to be applied in the vertical transform or the horizontal transform. For example, when the horizontal transform kernel is expressed as trTypeHor and the vertical direction transform kernel is expressed as trTypeVer, a trTypeHor or trTypeVer value of 0 may be set to DCT2, a trTypeHor or trTypeVer value of 1 may be set to DST7, and a trTypeHor or trTypeVer value of 2 may be set to DCT8.

In this case, MTS index information may be encoded and signaled to the decoding apparatus to indicate any one of a plurality of transform kernel sets. For example, an MTS index of 0 may indicate that both trTypeHor and trTypeVer values are 0, an MTS index of 1 may indicate that both trTypeHor and trTypeVer values are 1, an MTS index of 2 may indicate that the trTypeHor value is 2 and the trTypeVer value. Is 1, an MTS index of 3 may indicate that the trTypeHor value is 1 and the trTypeVer value is 2, and an MTS index of 4 may indicate that both both trTypeHor and trTypeVer values are 2.

In one example, transform kernel sets according to MTS index information are illustrated in the following table.

TABLE 1 tu_mts_idx[ x0 ][ y0 ] 0 1 2 3 4 trTypeHor 0 1 2 1 2 trTypeVer 0 1 1 2 2

The transformer may derive modified (secondary) transform coefficients by performing the secondary transform based on the (primary) transform coefficients (S320). The primary transform is a transform from a spatial domain to a frequency domain, and the secondary transform refers to transforming into a more compressive expression by using a correlation existing between (primary) transform coefficients. The secondary transform may include a non-separable transform. In this case, the secondary transform may be called a non-separable secondary transform (NSST), or a mode-dependent non-separable secondary transform (MDNSST). The non-separable secondary transform may represent a transform which generates modified transform coefficients (or secondary transform coefficients) for a residual signal by secondary-transforming, based on a non-separable transform matrix, (primary) transform coefficients derived through the primary transform. At this time, the vertical transform and the horizontal transform may not be applied separately (or horizontal and vertical transforms may not be applied independently) to the (primary) transform coefficients, but the transforms may be applied at once based on the non-separable transform matrix. In other words, the non-separable secondary transform may represent a transform method in which the vertical and horizontal components of the (primary) transform coefficients are not separated, and for example, two-dimensional signals (transform coefficients) are rearranged to a one-dimensional signal through a certain determined direction (e.g., row-first direction or column-first direction), and then modified transform coefficients (or secondary transform coefficients) are generated based on the non-separable transform matrix. For example, according to a row-first order, M×N blocks are disposed in a line in an order of a first row, a second row, . . . , and an Nth row. According to a column-first order, M×N blocks are disposed in a line in an order of a first column, a second column, . . . , and an Nth column. The non-separable secondary transform may be applied to a top-left region of a block configured with (primary) transform coefficients (hereinafter, may be referred to as a transform coefficient block). For example, if the width (W) and the height (H) of the transform coefficient block are all equal to or greater than 8, an 8×8 non-separable secondary transform may be applied to a top-left 8×8 region of the transform coefficient block. Further, if the width (W) and the height (H) of the transform coefficient block are all equal to or greater than 4, and the width (W) or the height (H) of the transform coefficient block is less than 8, then a 4×4 non-separable secondary transform may be applied to a top-left min(8, W)×min(8, H) region of the transform coefficient block. However, the embodiment is not limited to this, and for example, even if only the condition that the width (W) or height (H) of the transform coefficient block is equal to or greater than 4 is satisfied, the 4×4 non-separable secondary transform may be applied to the top-left min(8, W)×min(8, H) region of the transform coefficient block.

Specifically, for example, if a 4×4 input block is used, the non-separable secondary transform may be performed as follows.

The 4×4 input block X may be represented as follows.

$\begin{matrix} {X = \begin{bmatrix} X_{00} & X_{01} & X_{02} & X_{03} \\ X_{10} & X_{11} & X_{12} & X_{13} \\ X_{20} & X_{21} & X_{22} & X_{23} \\ X_{30} & X_{31} & X_{32} & X_{33} \end{bmatrix}} & \left\lbrack {{Equation}1} \right\rbrack \end{matrix}$

If the X is represented in the form of a vector, the vector

may be represented as below.

=[X ₀₀ X ₀₁ X ₀₂ X ₀₃ X ₁₀ X ₁₁ X ₁₂ X ₁₃ X ₂₀ X ₂₁ X ₂₂ X ₂₃ X ₃₀ X ₃₁ X ₃₂ X ₃₃]^(T)   [Equation 2]

In Equation 2, the vector

is a one-dimensional vector obtained by rearranging the two-dimensional block X of Equation 1 according to the row-first order.

In this case, the secondary non-separable transform may be calculated as below.

=T·

  [Equation 3]

In this equation,

represents a transform coefficient vector, and T represents a 16×16 (non-separable) transform matrix.

Through foregoing Equation 3, a 16×1 transform coefficient vector

may be derived, and the

may be re-organized into a 4×4 block through a scan order (horizontal, vertical, diagonal and the like). However, the above-described calculation is an example, and hypercube-Givens transform (HyGT) or the like may be used for the calculation of the non-separable secondary transform in order to reduce the computational complexity of the non-separable secondary transform.

Meanwhile, in the non-separable secondary transform, a transform kernel (or transform core, transform type) may be selected to be mode dependent. In this case, the mode may include the intra prediction mode and/or the inter prediction mode.

As described above, the non-separable secondary transform may be performed based on an 8×8 transform or a 4×4 transform determined based on the width (W) and the height (H) of the transform coefficient block. The 8×8 transform refers to a transform that is applicable to an 8×8 region included in the transform coefficient block when both W and H are equal to or greater than 8, and the 8×8 region may be a top-left 8×8 region in the transform coefficient block. Similarly, the 4×4 transform refers to a transform that is applicable to a 4×4 region included in the transform coefficient block when both W and H are equal to or greater than 4, and the 4×4 region may be a top-left 4×4 region in the transform coefficient block. For example, an 8×8 transform kernel matrix may be a 64×64/16×64 matrix, and a 4×4 transform kernel matrix may be a 16×16/8×16 matrix.

Here, to select a mode-dependent transform kernel, two non-separable secondary transform kernels per transform set for a non-separable secondary transform may be configured for both the 8×8 transform and the 4×4 transform, and there may be four transform sets. That is, four transform sets may be configured for the 8×8 transform, and four transform sets may be configured for the 4×4 transform. In this case, each of the four transform sets for the 8×8 transform may include two 8×8 transform kernels, and each of the four transform sets for the 4×4 transform may include two 4×4 transform kernels.

However, as the size of the transform, that is, the size of a region to which the transform is applied, may be, for example, a size other than 8×8 or 4×4, the number of sets may be n, and the number of transform kernels in each set may be k.

The transform set may be referred to as an NSST set or an LFNST set. A specific set among the transform sets may be selected, for example, based on the intra prediction mode of the current block (CU or subblock). A low-frequency non-separable transform (LFNST) may be an example of a reduced non-separable transform, which will be described later, and represents a non-separable transform for a low frequency component.

For reference, for example, the intra prediction mode may include two non-directional (or non-angular) intra prediction modes and 65 directional (or angular) intra prediction modes. The non-directional intra prediction modes may include a planar intra prediction mode of No. 0 and a DC intra prediction mode of No. 1, and the directional intra prediction modes may include 65 intra prediction modes of Nos. 2 to 66. However, this is an example, and this document may be applied even when the number of intra prediction modes is different. Meanwhile, in some cases, intra prediction mode No. 67 may be further used, and the intra prediction mode No. 67 may represent a linear model (LM) mode.

FIG. 4 exemplarily shows intra directional modes of 65 prediction directions.

Referring to FIG. 4 , on the basis of intra prediction mode 34 having a left upward diagonal prediction direction, the intra prediction modes may be divided into intra prediction modes having horizontal directionality and intra prediction modes having vertical directionality. In FIG. 4 , H and V denote horizontal directionality and vertical directionality, respectively, and numerals −32 to 32 indicate displacements in 1/32 units on a sample grid position. These numerals may represent an offset for a mode index value. Intra prediction modes 2 to 33 have the horizontal directionality, and intra prediction modes 34 to 66 have the vertical directionality. Strictly speaking, intra prediction mode 34 may be considered as being neither horizontal nor vertical, but may be classified as belonging to the horizontal directionality in determining a transform set of a secondary transform. This is because input data is transposed to be used for a vertical direction mode symmetrical on the basis of intra prediction mode 34, and an input data alignment method for a horizontal mode is used for intra prediction mode 34. Transposing input data means that rows and columns of two-dimensional M×N block data are switched into N×M data. Intra prediction mode 18 and intra prediction mode 50 may represent a horizontal intra prediction mode and a vertical intra prediction mode, respectively, and intra prediction mode 2 may be referred to as a right upward diagonal intra prediction mode because intra prediction mode 2 has a left reference pixel and performs prediction in a right upward direction. Likewise, intra prediction mode 34 may be referred to as a right downward diagonal intra prediction mode, and intra prediction mode 66 may be referred to as a left downward diagonal intra prediction mode.

According to an example, the four transform sets according to the intra prediction mode may be mapped, for example, as shown in the following table.

TABLE 2 lfnstPredModeIntra lfnstTrSetIdx lfnstPredModeIntra < 0 1  0 <= ifnstPredModeIntra <= 1 0  2 <= IfnstPredModeIntra <= 12 1 13 <= ifnstPredModeIntra <= 23 2 24 <= IfnstPredModeIntra <= 44 3 45 <= ifnstPredModeIntra <= 55 2 56 <= ifnstPredModeIntra <= 80 1 81 <= ifnstPredModeIntra <= 83 0

As shown in Table 2, any one of the four transform sets, that is, lfnstTrSetIdx, may be mapped to any one of four indexes, that is, 0 to 3, according to the intra prediction mode.

When it is determined that a specific set is used for the non-separable transform, one of k transform kernels in the specific set may be selected through a non-separable secondary transform index. An encoding apparatus may derive a non-separable secondary transform index indicating a specific transform kernel based on a rate-distortion (RD) check and may signal the non-separable secondary transform index to a decoding apparatus. The decoding apparatus may select one of the k transform kernels in the specific set based on the non-separable secondary transform index. For example, lfnst index value 0 may refer to a first non-separable secondary transform kernel, lfnst index value 1 may refer to a second non-separable secondary transform kernel, and lfnst index value 2 may refer to a third non-separable secondary transform kernel. Alternatively, lfnst index value 0 may indicate that the first non-separable secondary transform is not applied to the target block, and lfnst index values 1 to 3 may indicate the three transform kernels.

The transformer may perform the non-separable secondary transform based on the selected transform kernels, and may obtain modified (secondary) transform coefficients. As described above, the modified transform coefficients may be derived as transform coefficients quantized through the quantizer, and may be encoded and signaled to the decoding apparatus and transferred to the dequantizer/inverse transformer in the encoding apparatus.

Meanwhile, as described above, if the secondary transform is omitted, (primary) transform coefficients, which are an output of the primary (separable) transform, may be derived as transform coefficients quantized through the quantizer as described above, and may be encoded and signaled to the decoding apparatus and transferred to the dequantizer/inverse transformer in the encoding apparatus.

The inverse transformer may perform a series of procedures in the inverse order to that in which they have been performed in the above-described transformer. The inverse transformer may receive (dequantized) transformer coefficients, and derive (primary) transform coefficients by performing a secondary (inverse) transform (S350), and may obtain a residual block (residual samples) by performing a primary (inverse) transform on the (primary) transform coefficients (S360). In this connection, the primary transform coefficients may be called modified transform coefficients from the viewpoint of the inverse transformer. As described above, the encoding apparatus and the decoding apparatus may generate the reconstructed block based on the residual block and the predicted block, and may generate the reconstructed picture based on the reconstructed block.

The decoding apparatus may further include a secondary inverse transform application determinator (or an element to determine whether to apply a secondary inverse transform) and a secondary inverse transform determinator (or an element to determine a secondary inverse transform). The secondary inverse transform application determinator may determine whether to apply a secondary inverse transform. For example, the secondary inverse transform may be an NSST, an RST, or an LFNST and the secondary inverse transform application determinator may determine whether to apply the secondary inverse transform based on a secondary transform flag obtained by parsing the bitstream. In another example, the secondary inverse transform application determinator may determine whether to apply the secondary inverse transform based on a transform coefficient of a residual block.

The secondary inverse transform determinator may determine a secondary inverse transform. In this case, the secondary inverse transform determinator may determine the secondary inverse transform applied to the current block based on an LFNST (NSST or RST) transform set specified according to an intra prediction mode. In an embodiment, a secondary transform determination method may be determined depending on a primary transform determination method. Various combinations of primary transforms and secondary transforms may be determined according to the intra prediction mode. Further, in an example, the secondary inverse transform determinator may determine a region to which a secondary inverse transform is applied based on the size of the current block.

Meanwhile, as described above, if the secondary (inverse) transform is omitted, (dequantized) transform coefficients may be received, the primary (separable) inverse transform may be performed, and the residual block (residual samples) may be obtained. As described above, the encoding apparatus and the decoding apparatus may generate the reconstructed block based on the residual block and the predicted block, and may generate the reconstructed picture based on the reconstructed block.

Meanwhile, in the present disclosure, a reduced secondary transform (RST) in which the size of a transform matrix (kernel) is reduced may be applied in the concept of NSST in order to reduce the amount of computation and memory required for the non-separable secondary transform.

Meanwhile, the transform kernel, the transform matrix, and the coefficient constituting the transform kernel matrix, that is, the kernel coefficient or the matrix coefficient, described in the present disclosure may be expressed in 8 bits. This may be a condition for implementation in the decoding apparatus and the encoding apparatus, and may reduce the amount of memory required to store the transform kernel with a performance degradation that can be reasonably accommodated compared to the existing 9 bits or 10 bits. In addition, the expressing of the kernel matrix in 8 bits may allow a small multiplier to be used, and may be more suitable for single instruction multiple data (SIMD) instructions used for optimal software implementation.

In the present specification, the term “RST” may mean a transform which is performed on residual samples for a target block based on a transform matrix whose size is reduced according to a reduced factor. In the case of performing the reduced transform, the amount of computation required for transform may be reduced due to a reduction in the size of the transform matrix. That is, the RST may be used to address the computational complexity issue occurring at the non-separable transform or the transform of a block of a great size.

RST may be referred to as various terms, such as reduced transform, reduced secondary transform, reduction transform, simplified transform, simple transform, and the like, and the name which RST may be referred to as is not limited to the listed examples. Alternatively, since the RST is mainly performed in a low frequency region including a non-zero coefficient in a transform block, it may be referred to as a Low-Frequency Non-Separable Transform (LFNST). The transform index may be referred to as an LFNST index.

Meanwhile, when the secondary inverse transform is performed based on RST, the inverse transformer 135 of the encoding apparatus 100 and the inverse transformer 222 of the decoding apparatus 200 may include an inverse reduced secondary transformer which derives modified transform coefficients based on the inverse RST of the transform coefficients, and an inverse primary transformer which derives residual samples for the target block based on the inverse primary transform of the modified transform coefficients. The inverse primary transform refers to the inverse transform of the primary transform applied to the residual. In the present disclosure, deriving a transform coefficient based on a transform may refer to deriving a transform coefficient by applying the transform.

FIG. 5 is a diagram illustrating an RST according to an embodiment of the present disclosure.

In the present disclosure, a “target block” may refer to a current block to be coded, a residual block, or a transform block.

In the RST according to an example, an N-dimensional vector may be mapped to an R-dimensional vector located in another space, so that the reduced transform matrix may be determined, where R is less than N. N may mean the square of the length of a side of a block to which the transform is applied, or the total number of transform coefficients corresponding to a block to which the transform is applied, and the reduced factor may mean an R/N value. The reduced factor may be referred to as a reduced factor, reduction factor, simplified factor, simple factor or other various terms. Meanwhile, R may be referred to as a reduced coefficient, but according to circumstances, the reduced factor may mean R. Further, according to circumstances, the reduced factor may mean the N/R value.

In an example, the reduced factor or the reduced coefficient may be signaled through a bitstream, but the example is not limited to this. For example, a predefined value for the reduced factor or the reduced coefficient may be stored in each of the encoding apparatus 100 and the decoding apparatus 200, and in this case, the reduced factor or the reduced coefficient may not be signaled separately.

The size of the reduced transform matrix according to an example may be R×N less than N×N, the size of a conventional transform matrix, and may be defined as in Equation 4 below.

$\begin{matrix} {T_{R \times N} = \begin{bmatrix} t_{11} & t_{12} & t_{13} & \ldots & t_{1N} \\ t_{21} & t_{22} & t_{23} & & t_{2N} \\  & \vdots & & \ddots & \vdots \\ t_{R1} & t_{R2} & t_{R3} & \ldots & t_{RN} \end{bmatrix}} & \left\lbrack {{Equation}4} \right\rbrack \end{matrix}$

The matrix T in the Reduced Transform block shown in FIG. 5(a) may mean the matrix T_(R×N) of Equation 4. As shown in FIG. 5(a), when the reduced transform matrix T_(R×N) is multiplied to residual samples for the target block, transform coefficients for the target block may be derived.

In an example, if the size of the block to which the transform is applied is 8×8 and R=16 (i.e., R/N=16/64=1/4), then the RST according to FIG. 5(a) may be expressed as a matrix operation as shown in Equation 5 below. In this case, memory and multiplication calculation can be reduced to approximately ¼ by the reduced factor.

In the present disclosure, a matrix operation may be understood as an operation of multiplying a column vector by a matrix, disposed on the left of the column vector, to obtain a column vector.

$\begin{matrix} {\begin{bmatrix} t_{1,1} & t_{1,2} & t_{1,3} & \ldots & t_{1,64} \\ t_{2,1} & t_{2,2} & t_{2,3} & & t_{2,64} \\  & \vdots & & \ddots & \vdots \\ t_{16,1} & t_{16,2} & t_{16,3} & \ldots & t_{16,64} \end{bmatrix} \times \begin{bmatrix} r_{1} \\ r_{2} \\  \vdots \\ r_{64} \end{bmatrix}} & \left\lbrack {{Equation}5} \right\rbrack \end{matrix}$

In Equation 5, r₁ to r₆₄ may represent residual samples for the target block and may be specifically transform coefficients generated by applying a primary transform. As a result of the calculation of Equation 5 transform coefficients ci for the target block may be derived, and a process of deriving ci may be as in Equation 6.

[Equation 6]

[Equation 6] for i from to R:  c_(i)=0  for j from 1 to N   c_(i) + = t_(ij) * r_(j)

As a result of the calculation of Equation 6, transform coefficients c₁ to c_(R) for the target block may be derived. That is, when R=16, transform coefficients c₁ to c₁₆ for the target block may be derived. If, instead of RST, a regular transform is applied and a transform matrix of 64×64 (N×N) size is multiplied to residual samples of 64×1 (N×1) size, then only 16 (R) transform coefficients are derived for the target block because RST was applied, although 64 (N) transform coefficients are derived for the target block. Since the total number of transform coefficients for the target block is reduced from N to R, the amount of data transmitted by the encoding apparatus 100 to the decoding apparatus 200 decreases, so efficiency of transmission between the encoding apparatus 100 and the decoding apparatus 200 can be improved.

When considered from the viewpoint of the size of the transform matrix, the size of the regular transform matrix is 64×64 (N×N), but the size of the reduced transform matrix is reduced to 16×64 (R×N), so memory usage in a case of performing the RST can be reduced by an R/N ratio when compared with a case of performing the regular transform. In addition, when compared to the number of multiplication calculations N×N in a case of using the regular transform matrix, the use of the reduced transform matrix can reduce the number of multiplication calculations by the R/N ratio (R×N).

In an example, the transformer 132 of the encoding apparatus 100 may derive transform coefficients for the target block by performing the primary transform and the RST-based secondary transform on residual samples for the target block. These transform coefficients may be transferred to the inverse transformer of the decoding apparatus 200, and the inverse transformer 222 of the decoding apparatus 200 may derive the modified transform coefficients based on the inverse reduced secondary transform (RST) for the transform coefficients, and may derive residual samples for the target block based on the inverse primary transform for the modified transform coefficients.

The size of the inverse RST matrix T_(N×R) according to an example is N×R less than the size N×N of the regular inverse transform matrix, and is in a transpose relationship with the reduced transform matrix T_(R×N) shown in Equation 4.

The matrix T^(t) in the Reduced Inv. Transform block shown in FIG. 5(b) may mean the inverse RST matrix T_(R×N) ^(T) (the superscript T means transpose). When the inverse RST matrix T_(R×N) ^(T) is multiplied to the transform coefficients for the target block as shown in FIG. 5(b), the modified transform coefficients for the target block or the residual samples for the current block may be derived. The inverse RST matrix T_(R×N) ^(T) may be expressed as (T_(R×N) ^(T))_(N×R).

More specifically, when the inverse RST is applied as the secondary inverse transform, the modified transform coefficients for the target block may be derived when the inverse RST matrix T_(R×N) ^(T) is multiplied to the transform coefficients for the target block. Meanwhile, the inverse RST may be applied as the inverse primary transform, and in this case, the residual samples for the target block may be derived when the inverse RST matrix T_(R×N) ^(T) is multiplied to the transform coefficients for the target block.

In an example, if the size of the block to which the inverse transform is applied is 8×8 and R=16 (i.e., R/N=16/64=1/4), then the RST according to FIG. 5(b) may be expressed as a matrix operation as shown in Equation 7 below.

$\begin{matrix} {\begin{bmatrix} t_{1,1} & t_{2,1} & & t_{16,1} \\ t_{1,2} & t_{2,2} & \ldots & t_{16,2} \\ t_{1,3} & t_{2,3} & & t_{16,3} \\  \vdots & \vdots & & \vdots \\ {\begin{matrix}  & {\vdots} \end{matrix}} & & \ddots & \vdots \\ t_{1,64} & t_{2,64} & \ldots & t_{16,64} \end{bmatrix} \times \begin{bmatrix} c_{1} \\ c_{2} \\  \vdots \\ c_{16} \end{bmatrix}} & \left\lbrack {{Equation}7} \right\rbrack \end{matrix}$

In Equation 7, c₁ to c₁₆ may represent the transform coefficients for the target block. As a result of the calculation of Equation 7, r_(i) representing the modified transform coefficients for the target block or the residual samples for the target block may be derived, and the process of deriving r_(i) may be as in Equation 8.

[Equation 8]

[Equation 8] For i from 1 to N  r_(i)=0   for j from 1 to R   r_(i) +=t_(ji) * c_(j)

As a result of the calculation of Equation 8, r₁ to r_(N) representing the modified transform coefficients for the target block or the residual samples for the target block may be derived. When considered from the viewpoint of the size of the inverse transform matrix, the size of the regular inverse transform matrix is 64×64 (N×N), but the size of the reduced inverse transform matrix is reduced to 64×16 (R×N), so memory usage in a case of performing the inverse RST can be reduced by an R/N ratio when compared with a case of performing the regular inverse transform. In addition, when compared to the number of multiplication calculations N×N in a case of using the regular inverse transform matrix, the use of the reduced inverse transform matrix can reduce the number of multiplication calculations by the R/N ratio (N×R).

A transform set configuration shown in Table 2 may also be applied to an 8×8 RST. That is, the 8×8 RST may be applied according to a transform set in Table 2. Since one transform set includes two or three transforms (kernels) according to an intra prediction mode, it may be configured to select one of up to four transforms including that in a case where no secondary transform is applied. In a transform where no secondary transform is applied, it may be considered to apply an identity matrix. Assuming that indexes 0, 1, 2, and 3 are respectively assigned to the four transforms (e.g., index 0 may be allocated to a case where an identity matrix is applied, that is, a case where no secondary transform is applied), a transform index or an lfnst index as a syntax element may be signaled for each transform coefficient block, thereby designating a transform to be applied. That is, for a top-left 8×8 block, through the transform index, it is possible to designate an 8×8 RST in an RST configuration, or to designate an 8×8 lfnst when the LFNST is applied. The 8×8 lfnst and the 8×8 RST refer to transforms applicable to an 8×8 region included in the transform coefficient block when both W and H of the target block to be transformed are equal to or greater than 8, and the 8×8 region may be a top-left 8×8 region in the transform coefficient block. Similarly, a 4×4 lfnst and a 4×4 RST refer to transforms applicable to a 4×4 region included in the transform coefficient block when both W and H of the target block to are equal to or greater than 4, and the 4×4 region may be a top-left 4×4 region in the transform coefficient block.

According to an embodiment of the present disclosure, for a transform in an encoding process, only 48 pieces of data may be selected and a maximum 16×48 transform kernel matrix may be applied thereto, rather than applying a 16×64 transform kernel matrix to 64 pieces of data forming an 8×8 region. Here, “maximum” means that m has a maximum value of 16 in an m×48 transform kernel matrix for generating m coefficients. That is, when an RST is performed by applying an m×48 transform kernel matrix (m≤16) to an 8×8 region, 48 pieces of data are input and m coefficients are generated. When m is 16, 48 pieces of data are input and 16 coefficients are generated. That is, assuming that 48 pieces of data form a 48×1 vector, a 16×48 matrix and a 48×1 vector are sequentially multiplied, thereby generating a 16×1 vector. Here, the 48 pieces of data forming the 8×8 region may be properly arranged, thereby forming the 48×1 vector. For example, a 48×1 vector may be constructed based on 48 pieces of data constituting a region excluding the bottom right 4×4 region among the 8×8 regions. Here, when a matrix operation is performed by applying a maximum 16×48 transform kernel matrix, 16 modified transform coefficients are generated, and the 16 modified transform coefficients may be arranged in a top-left 4×4 region according to a scanning order, and a top-right 4×4 region and a bottom-left 4×4 region may be filled with zeros.

For an inverse transform in a decoding process, the transposed matrix of the foregoing transform kernel matrix may be used. That is, when an inverse RST or LFNST is performed in the inverse transform process performed by the decoding apparatus, input coefficient data to which the inverse RST is applied is configured in a one-dimensional vector according to a predetermined arrangement order, and a modified coefficient vector obtained by multiplying the one-dimensional vector and a corresponding inverse RST matrix on the left of the one-dimensional vector may be arranged in a two-dimensional block according to a predetermined arrangement order.

In summary, in the transform process, when an RST or LFNST is applied to an 8×8 region, a matrix operation of 48 transform coefficients in top-left, top-right, and bottom-left regions of the 8×8 region excluding the bottom-right region among transform coefficients in the 8×8 region and a 16×48 transform kernel matrix. For the matrix operation, the 48 transform coefficients are input in a one-dimensional array. When the matrix operation is performed, 16 modified transform coefficients are derived, and the modified transform coefficients may be arranged in the top-left region of the 8×8 region.

On the contrary, in the inverse transform process, when an inverse RST or LFNST is applied to an 8×8 region, 16 transform coefficients corresponding to a top-left region of the 8×8 region among transform coefficients in the 8×8 region may be input in a one-dimensional array according to a scanning order and may be subjected to a matrix operation with a 48×16 transform kernel matrix. That is, the matrix operation may be expressed as (48×16 matrix)*(16×1 transform coefficient vector)=(48×1 modified transform coefficient vector). Here, an n×1 vector may be interpreted to have the same meaning as an n×1 matrix and may thus be expressed as an n×1 column vector. Further, * denotes matrix multiplication. When the matrix operation is performed, 48 modified transform coefficients may be derived, and the 48 modified transform coefficients may be arranged in top-left, top-right, and bottom-left regions of the 8×8 region excluding a bottom-right region.

When a secondary inverse transform is based on an RST, the inverse transformer 135 of the encoding apparatus 100 and the inverse transformer 222 of the decoding apparatus 200 may include an inverse reduced secondary transformer to derive modified transform coefficients based on an inverse RST on transform coefficients and an inverse primary transformer to derive residual samples for the target block based on an inverse primary transform on the modified transform coefficients. The inverse primary transform refers to the inverse transform of a primary transform applied to a residual. In the present disclosure, deriving a transform coefficient based on a transform may refer to deriving the transform coefficient by applying the transform.

The above-described non-separable transform, the LFNST, will be described in detail as follows. The LFNST may include a forward transform by the encoding apparatus and an inverse transform by the decoding apparatus.

The encoding apparatus receives a result (or a part of a result) derived after applying a primary (core) transform as an input, and applies a forward secondary transform (secondary transform).

y=G^(T)x   [Equation 9]

In Equation 9, x and y are inputs and outputs of the secondary transform, respectively, and G is a matrix representing the secondary transform, and transform basis vectors are composed of column vectors. In the case of an inverse LFNST, when the dimension of the transformation matrix G is expressed as [number of rows x number of columns], in the case of an forward LFNST, the transposition of matrix G becomes the dimension of G^(T).

For the inverse LFNST, the dimensions of matrix G are [48×16], [48×8], [16×16], [16×8], and the [48×8] matrix and the [16×8] matrix are partial matrices that sampled 8 transform basis vectors from the left of the [48×16] matrix and the [16×16] matrix, respectively.

On the other hand, for the forward LFNST, the dimensions of matrix G^(T) are [16×48], [8×48], [16×16], [8×16], and the [8×48] matrix and the [8×16] matrix are partial matrices obtained by sampling 8 transform basis vectors from the top of the [16×48] matrix and the [16×16] matrix, respectively.

Therefore, in the case of the forward LFNST, a [48×1] vector or [16×1] vector is possible as an input x, and a [16×1] vector or a [8×1] vector is possible as an output y. In video coding and decoding, the output of the forward primary transform is two-dimensional (2D) data, so to construct the [48×1] vector or the [16×1] vector as the input x, a one-dimensional vector must be constructed by properly arranging the 2D data that is the output of the forward transformation.

FIG. 6 is a diagram illustrating a sequence of arranging output data of a forward primary transformation into a one-dimensional vector according to an example. The left diagrams of (a) and (b) of FIG. 6 show the sequence for constructing a [48×1] vector, and the right diagrams of (a) and (b) of FIG. 6 shows the sequence for constructing a [16×1] vector. In the case of the LFNST, a one-dimensional vector x can be obtained by sequentially arranging 2D data in the same order as in (a) and (b) of FIG. 6 .

The arrangement direction of the output data of the forward primary transform may be determined according to an intra prediction mode of the current block. For example, when the intra prediction mode of the current block is in the horizontal direction with respect to the diagonal direction, the output data of the forward primary transform may be arranged in the order of (a) of FIG. 6 , and when the intra prediction mode of the current block is in the vertical direction with respect to the diagonal direction, the output data of the forward primary transform may be arranged in the order of (b) of FIG. 6 .

According to an example, an arrangement order different from the arrangement orders of (a) and (b) FIG. 6 may be applied, and in order to derive the same result (y vector) as when the arrangement orders of (a) and (b) FIG. 6 is applied, the column vectors of the matrix G may be rearranged according to the arrangement order. That is, it is possible to rearrange the column vectors of G so that each element constituting the x vector is always multiplied by the same transform basis vector.

Since the output y derived through Equation 9 is a one-dimensional vector, when two-dimensional data is required as input data in the process of using the result of the forward secondary transformation as an input, for example, in the process of performing quantization or residual coding, the output y vector of Equation 9 must be properly arranged as 2D data again.

FIG. 7 is a diagram illustrating a sequence of arranging output data of a forward secondary transform into a two-dimensional vector according to an example.

In the case of the LFNST, output values may be arranged in a 2D block according to a predetermined scan order. (a) of FIG. 7 shows that when the output y is a [16×1] vector, the output values are arranged at 16 positions of the 2D block according to a diagonal scan order. (b) of FIG. 7 shows that when the output y is a [8×1] vector, the output values are arranged at 8 positions of the 2D block according to the diagonal scan order, and the remaining 8 positions are filled with zeros. X in (b) of FIG. 7 indicates that it is filled with zero.

According to another example, since the order in which the output vector y is processed in performing quantization or residual coding may be preset, the output vector y may not be arranged in the 2D block as shown in FIG. 7 . However, in the case of the residual coding, data coding may be performed in 2D block (eg, 4×4) units such as CG (Coefficient Group), and in this case, the data are arranged according to a specific order as in the diagonal scan order of FIG. 7 .

Meanwhile, the decoding apparatus may configure the one-dimensional input vector y by arranging two-dimensional data output through a dequantization process or the like according to a preset scan order for the inverse transformation. The input vector y may be output as the output vector x by the following equation.

x=Gy   [Equation 10]

In the case of the inverse LFNST, an output vector x can be derived by multiplying an input vector y, which is a [16×1] vector or a [8×1] vector, by a G matrix. For the inverse LFNST, the output vector x can be either a [48×1] vector or a [16×1] vector.

The output vector x is arranged in a two-dimensional block according to the order shown in FIG. 6 and is arranged as two-dimensional data, and this two-dimensional data becomes input data (or a part of input data) of the inverse primary transformation.

Accordingly, the inverse secondary transformation is the opposite of the forward secondary transformation process as a whole, and in the case of the inverse transformation, unlike in the forward direction, the inverse secondary transformation is first applied, and then the inverse primary transformation is applied.

In the inverse LFNST, one of 8[48×16] matrices and 8[16×16] matrices may be selected as the transformation matrix G. Whether to apply the [48×16] matrix or the [16×16] matrix depends on the size and shape of the block.

In addition, 8 matrices may be derived from four transform sets as shown in Table 2 above, and each transform set may consist of two matrices. Which transform set to use among the 4 transform sets is determined according to the intra prediction mode, and more specifically, the transform set is determined based on the value of the intra prediction mode extended by considering the Wide Angle Intra Prediction (WAIP). Which matrix to select from among the two matrices constituting the selected transform set is derived through index signaling. More specifically, 0, 1, and 2 are possible as the transmitted index value, 0 may indicate that the LFNST is not applied, and 1 and 2 may indicate any one of two transform matrices constituting a transform set selected based on the intra prediction mode value.

FIG. 8 is a diagram illustrating wide-angle intra prediction modes according to an embodiment of the present document.

The general intra prediction mode value may have values from 0 to 66 and 81 to 83, and the intra prediction mode value extended due to WAIP may have a value from −14 to 83 as shown. Values from 81 to 83 indicate the CCLM (Cross Component Linear Model) mode, and values from −14 to −1 and values from 67 to 80 indicate the intra prediction mode extended due to the WAIP application.

When the width of the prediction current block is greater than the height, the upper reference pixels are generally closer to positions inside the block to be predicted. Therefore, it may be more accurate to predict in the bottom-left direction than in the top-right direction. Conversely, when the height of the block is greater than the width, the left reference pixels are generally close to positions inside the block to be predicted. Therefore, it may be more accurate to predict in the top-right direction than in the bottom-left direction. Therefore, it may be advantageous to apply remapping, ie, mode index modification, to the index of the wide-angle intra prediction mode.

When the wide-angle intra prediction is applied, information on the existing intra prediction may be signaled, and after the information is parsed, the information may be remapped to the index of the wide-angle intra prediction mode. Therefore, the total number of the intra prediction modes for a specific block (eg, a non-square block of a specific size) may not change, and that is, the total number of the intra prediction modes is 67, and intra prediction mode coding for the specific block may not be changed.

Table 3 below shows a process of deriving a modified intra mode by remapping the intra prediction mode to the wide-angle intra prediction mode.

TABLE 3 Inputs to this propes are: a variable predodeIntra specifying the intra prediction mode, a variable nTbW specifying the transform black width, a variable sTbH specifying the transform block height, a variable cIdx specifying the colour component of the current block. Outpus of this process is the modified intra prediction mode predModeIntra. The variables nW and nH are derived as follows: If IntraSubPartitonsSplitType is equal to ISP_NO_SPLIT or cIdx is act equal to 0, the following applies: nW = nTbW (8-97) nH = nTbH (8-98) Otherwise ( IntraSubPartitionsSplitType is not equal to ISP_NO_SPLIT and cIdx is equal to 0 ), the following applies: nW = nCbw (8-99) nH = nCbH (8-100) The variable whRatio is set equal to Abs( Log2( nW / nH ) ). For non-square blocks (nW is not equal to nH), the intra prediction mode predModeIntra is modified as follows. If all of the following conditions are true, predModentra is set equal to ( predModelatra + 65 ). nW is greater than nH predModeIntra is greater than or equal to 2 predModeIntra is less than ( whRatio > 1 ) ? ( 8 + 2 * whRatio ) : 8 Otherwise, if all of the following conditions are true, predModeIntra is set equal to (predModeIntra − 67 ). nH is greater than nW predModeIntra is less than or equal to 66 predModeIntra is greater than ( whRatio > l) ? ( 60 − 2 * whRatio ) : 60

In Table 3, the extended intra prediction mode value is finally stored in the predModeIntra variable, and ISP_NO_SPLIT indicates that the CU block is not divided into sub-partitions by the Intra Sub Partitions (ISP) technique currently adopted in the VVC standard, and the cIdx variable Values of 0, 1, and 2 indicate the case of luma, Cb, and Cr components, respectively. Log 2 function shown in Table 3 returns a log value with a base of 2, and the Abs function returns an absolute value.

Variable predModeIntra indicating the intra prediction mode and the height and width of the transform block, etc. are used as input values of the wide angle intra prediction mode mapping process, and the output value is the modified intra prediction mode predModeIntra. The height and width of the transform block or the coding block may be the height and width of the current block for remapping of the intra prediction mode. At this time, the variable whRatio reflecting the ratio of the width to the width may be set to Abs(Log 2(nW/nH)).

For a non-square block, the intra prediction mode may be divided into two cases and modified.

First, if all conditions (1)˜(3) are satisfied, (1) the width of the current block is greater than the height, (2) the intra prediction mode before modifying is equal to or greater than 2, (3) the intra prediction mode is less than the value derived from (8+2*whRatio) when the variable whRatio is greater than 1, and is less than 8 when the variable whRatio is less than or equal to 1 [predModeIntra is less than (whRatio>1)? (8+2*whRatio): 8], the intra prediction mode is set to a value 65 greater than the intra prediction mode [predModeIntra is set equal to (predModeIntra+65)].

If different from the above, that is, follow conditions (1)˜(3) are satisfied, (1) the height of the current block is greater than the width, (2) the intra prediction mode before modifying is less than or equal to 66, (3) the intra prediction mode is greater than the value derived from (60−2*whRatio) when the variable whRatio is greater than 1, and is greater than 60 when the variable whRatio is less than or equal to 1 [predModeIntra is greater than (whRatio>1)? (60−2*whRatio) : 60], the intra prediction mode is set to a value 67 smaller than the intra prediction mode [predModeIntra is set equal to (predModeIntra−67)].

Table 2 above shows how a transform set is selected based on the intra prediction mode value extended by the WAIP in the LFNST. As shown in FIG. 8 , modes 14 to 33 and modes 35 to 80 are symmetric with respect to the prediction direction around mode 34. For example, mode 14 and mode 54 are symmetric with respect to the direction corresponding to mode 34. Therefore, the same transform set is applied to modes located in mutually symmetrical directions, and this symmetry is also reflected in Table 2.

Meanwhile, it is assumed that forward LFNST input data for mode 54 is symmetrical with the forward LFNST input data for mode 14. For example, for mode 14 and mode 54, the two-dimensional data is rearranged into one-dimensional data according to the arrangement order shown in (a) of FIG. 6 and (b) of FIG. 6 , respectively. In addition, it can be seen that the patterns in the order shown in (a) of FIG. 6 and (b) of FIG. 6 are symmetrical with respect to the direction (diagonal direction) indicated by Mode 34.

Meanwhile, as described above, which transform matrix of the [48×16] matrix and the [16×16] matrix is applied to the LFNST is determined by the size and shape of the transform target block.

FIG. 9 is a diagram illustrating a block shape to which the LFNST is applied. (a) of FIG. 9 shows 4×4 blocks, (b) shows 4×8 and 8×4 blocks, (c) shows 4×N or N×4 blocks in which N is 16 or more, (d) shows 8×8 blocks, (e) shows M×N blocks where M≥8, N≥8, and N>8 or M>8.

In FIG. 9 , blocks with thick borders indicate regions to which the LFNST is applied. For the blocks of FIGS. 9(a) and (b), the LFNST is applied to the top-left 4×4 region, and for the block of FIG. 9(c), the LFNST is applied individually the two top-left 4×4 regions are continuously arranged. In (a), (b), and (c) of FIG. 9 , since the LFNST is applied in units of 4×4 regions, this LFNST will be hereinafter referred to as “4×4 LFNST”. As a corresponding transformation matrix, a [16×16] or [16×8] matrix may be applied based on the matrix dimension for G in Equations 9 and 10.

More specifically, the [16×8] matrix is applied to the 4×4 block (4×4 TU or 4×4 CU) of FIG. 9(a) and the [16×16] matrix is applied to the blocks in (b) and (c) of FIG. 9 . This is to adjust the computational complexity for the worst case to 8 multiplications per sample.

With respect to (d) and (e) of FIG. 9 , the LFNST is applied to the top-left 8×8 region, and this LFNST is hereinafter referred to as “8×8 LFNST”. As a corresponding transformation matrix, a [48×16] matrix or [48×8] matrix may be applied. In the case of the forward LFNST, since the [48×1] vector (x vector in Equation 9) is input as input data, all sample values of the top-left 8×8 region are not used as input values of the forward LFNST. That is, as can be seen in the left order of FIG. 6(a) or the left order of FIG. 6(b), the [48×1] vector may be constructed based on samples belonging to the remaining 3 4×4 blocks while leaving the bottom-right 4×4 block as it is.

The [48×8] matrix may be applied to an 8×8 block (8×8 TU or 8×8 CU) in FIG. 9(d), and the [48×16] matrix may be applied to the 8×8 block in FIG. 9(e). This is also to adjust the computational complexity for the worst case to 8 multiplications per sample.

Depending on the block shape, when the corresponding forward LFNST (4×4 LFNST or 8×8 LFNST) is applied, 8 or 16 output data (y vector in Equation 9, [8×1] or [16×1] vector) is generated. In the forward LFNST, the number of output data is equal to or less than the number of input data due to the characteristics of the matrix G^(T).

FIG. 10 is a diagram illustrating an arrangement of output data of a forward LFNST according to an example, and shows a block in which output data of the forward LFNST is arranged according to a block shape.

The shaded area at the top-left of the block shown in FIG. 10 corresponds to the area where the output data of the forward LFNST is located, the positions marked with 0 indicate samples filled with 0 values, and the remaining area represents regions that are not changed by the forward LFNST. In the area not changed by the LFNST, the output data of the forward primary transform remains unchanged.

As described above, since the dimension of the transform matrix applied varies according to the shape of the block, the number of output data also varies. As FIG. 10 , the output data of the forward LFNST may not completely fill the top-left 4×4 block. In the case of (a) and (d) of FIG. 10 , a [16×8] matrix and a [48×8] matrix are applied to the block indicated by a thick line or a partial region inside the block, respectively, and a [8×1] vector as the output of the forward LFNST is generated. That is, according to the scan order shown in (b) of FIG. 7 , only 8 output data may be filled as shown in (a) and (d) of FIG. 10 , and 0 may be filled in the remaining 8 positions. In the case of the LFNST applied block of FIG. 9(d), as shown in FIG. 10(d), two 4×4 blocks in the top-right and bottom-left adjacent to the top-left 4×4 block are also filled with 0 values.

As described above, basically, by signaling the LFNST index, whether to apply the LFNST and the transform matrix to be applied are specified. As shown FIG. 10 , when the LFNST is applied, since the number of output data of the forward LFNST may be equal to or less than the number of input data, a region filled with a zero value occurs as follows.

1) As shown in (a) of FIG. 10 , samples from the 8th and later positions in the scan order in the top-left 4×4 block, that is, samples from the 9th to the 16th.

2) As shown in (d) and (e) of FIG. 10 , when the [16×48] matrix or the [8×48] matrix is applied, two 4×4 blocks adjacent to the top-left 4×4 block or the second and third 4×4 blocks in the scan order.

Therefore, if non-zero data exists by checking the areas 1) and 2), it is certain that the LFNST is not applied, so that the signaling of the corresponding LFNST index can be omitted.

According to an example, for example, in the case of LFNST adopted in the VVC standard, since signaling of the LFNST index is performed after the residual coding, the encoding apparatus may know whether there is the non-zero data (significant coefficients) for all positions within the TU or CU block through the residual coding. Accordingly, the encoding apparatus may determine whether to perform signaling on the LFNST index based on the existence of the non-zero data, and the decoding apparatus may determine whether the LFNST index is parsed. When the non-zero data does not exist in the area designated in 1) and 2) above, signaling of the LFNST index is performed.

Since a truncated unary code is applied as a binarization method for the LFNST index, the LFNST index consists of up to two bins, and 0, 10, and 11 are assigned as binary codes for possible LFNST index values of 0, 1, and 2, respectively. In the case of the LFNST currently adopted for VVC, a context-based CABAC coding is applied to the first bin (regular coding), and a bypass coding is applied to the second bin. The total number of contexts for the first bin is 2, when (DCT-2, DCT-2) is applied as a primary transform pair for the horizontal and vertical directions, and a luma component and a chroma component are coded in a dual tree type, one context is allocated and another context applies for the remaining cases. The coding of the LFNST index is shown in a table as follows.

TABLE 4 binIdx Syntax element 0 1 2 3 4 >=5 lfnst_idx[ ][ ] ( tu_mts_idx[ x0 ][ y0 ] = = 0 bypass na na na na && treeType != SINGLE_TREE ) ? 1 : 0

Meanwhile, for the adopted LFNST, the following simplification methods may be applied.

(i) According to an example, the number of output data for the forward LFNST may be limited to a maximum of 16.

In the case of (c) of FIG. 9 , the 4×4 LFNST may be applied to two 4×4 regions adjacent to the top-left, respectively, and in this case, a maximum of 32 LFNST output data may be generated. when the number of output data for forward LFNST is limited to a maximum of 16, in the case of 4×N/N×4 (N≥16) blocks (TU or CU), the 4×4 LFNST is only applied to one 4×4 region in the top-left, the LFNST may be applied only once to all blocks of FIG. 9 . Through this, the implementation of image coding may be simplified.

FIG. 11 shows that the number of output data for the forward LFNST is limited to a maximum of 16 according to an example. As FIG. 11 , when the LFNST is applied to the most top-left 4×4 region in a 4×N or N×4 block in which N is 16 or more, the output data of the forward LFNST becomes 16 pieces.

(ii) According to an example, zero-out may be additionally applied to a region to which the LFNST is not applied. In this document, the zero-out may mean filling values of all positions belonging to a specific region with a value of 0. That is, the zero-out can be applied to a region that is not changed due to the LFNST and maintains the result of the forward primary transformation. As described above, since the LFNST is divided into the 4×4 LFNST and the 8×8 LFNST, the zero-out can be divided into two types ((ii)-(A) and (ii)-(B)) as follows.

(ii)-(A) When the 4×4 LFNST is applied, a region to which the 4×4 LFNST is not applied may be zeroed out. FIG. 12 is a diagram illustrating the zero-out in a block to which the 4×4 LFNST is applied according to an example.

As shown in FIG. 12 , with respect to a block to which the 4×4 LFNST is applied, that is, for all of the blocks in (a), (b) and (c) of FIG. 10 , the whole region to which the LFNST is not applied may be filled with zeros.

On the other hand, (d) of FIG. 12 shows that when the maximum value of the number of the output data of the forward LFNST is limited to 16 as shown in FIG. 11 , the zero-out is performed on the remaining blocks to which the 4×4 LFNST is not applied.

(ii)-(B) When the 8×8 LFNST is applied, a region to which the 8×8 LFNST is not applied may be zeroed out. FIG. 13 is a diagram illustrating the zero-out in a block to which the 8×8 LFNST is applied according to an example.

As shown in FIG. 13 , with respect to a block to which the 8×8 LFNST is applied, that is, for all of the blocks in (d) and (e) of FIG. 10 , the whole region to which the LFNST is not applied may be filled with zeros.

(iii) Due to the zero-out presented in (ii) above, the area filled with zeros may be not same when the LFNST is applied. Accordingly, it is possible to check whether the non-zero data exists according to the zero-out proposed in (ii) over a wider area than the case of the LFNST of FIG. 10 .

For example, when (ii)-(B) is applied, after checking whether the non-zero data exists where the area filled with zero values in (d) and (e) of FIG. 10 in addition to the area filled with 0 additionally in FIG. 13 , signaling for the LFNST index can be performed only when the non-zero data does not exist.

Of course, even if the zero-out proposed in (ii) is applied, it is possible to check whether the non-zero data exists in the same way as the existing LFNST index signaling. That is, after checking whether the non-zero data exists in the block filled with zeros in FIG. 10 , the LFNST index signaling may be applied. In this case, the encoding apparatus only performs the zero out and the decoding apparatus does not assume the zero out, that is, checking only whether the non-zero data exists only in the area explicitly marked as 0 in FIG. 10 , may perform the LFNST index parsing.

Alternatively, according to another example, the zero-out may be performed as shown in FIG. 14 . FIG. 14 is a diagram illustrating the zero-out in a block to which the 8×8 LFNST is applied according to another example.

As shown in FIGS. 12 and 13 , the zero-out may be applied to all regions other than the region to which the LFNST is applied, or the zero-out may be applied only to a partial region as shown in FIG. 14 . The zero-out is applied only to regions other than the top-left 8×8 region of FIG. 14 , the zero-out may not be applied to the bottom-right 4×4 block within the top-left 8×8 region.

Various embodiments in which combinations of the simplification methods ((i), (ii)-(A), (ii)-(B), (iii)) for the LFNST are applied may be derived. Of course, the combinations of the above simplification methods are not limited to the following embodiments, and any combination may be applied to the LFNST.

Embodiment

-   -   Limit the number of output data for forward LFNST to a maximum         of 16→(i)     -   When the 4×4 LFNST is applied, all areas to which the 4×4 LFNST         is not applied are zero-out→(ii)-(A)     -   When the 8×8 LFNST is applied, all areas to which the 8×8 LFNST         is not applied are zero-out→(ii)-(B)     -   After checking whether the non-zero data exists also the         existing area filled with zero value and the area filled with         zeros due to additional zero outs ((ii)-(A), (ii)-(B)), the         LFNST index is signaled only when the non-zero data does not         exist→(iii)

In the case of Embodiment, when the LFNST is applied, an area in which the non-zero output data can exist is limited to the inside of the top-left 4×4 area. In more detail, in the case of FIG. 12(a) and FIG. 13(a), the 8th position in the scan order is the last position where non-zero data can exist. In the case of FIGS. 12(b) and (c) and FIG. 13(b), the 16th position in the scan order (ie, the position of the bottom-right edge of the top-left 4×4 block) is the last position where data other than 0 may exist.

Therefore, when the LFNST is applied, after checking whether the non-zero data exists in a position where the residual coding process is not allowed (at a position beyond the last position), it can be determined whether the LFNST index is signaled.

In the case of the zero-out method proposed in (ii), since the number of data finally generated when both the primary transform and the LFNST are applied, the amount of computation required to perform the entire transformation process can be reduced. That is, when the LFNST is applied, since zero-out is applied to the forward primary transform output data existing in a region to which the LFNST is not applied, there is no need to generate data for the region that become zero-out during performing the forward primary transform. Accordingly, it is possible to reduce the amount of computation required to generate the corresponding data. The additional effects of the zero-out method proposed in (ii) are summarized as follows.

First, as described above, the amount of computation required to perform the entire transform process is reduced.

In particular, when (ii)-(B) is applied, the amount of calculation for the worst case is reduced, so that the transform process can be lightened. In other words, in general, a large amount of computation is required to perform a large-size primary transformation. By applying (ii)-(B), the number of data derived as a result of performing the forward LFNST can be reduced to 16 or less. In addition, as the size of the entire block (TU or CU) increases, the effect of reducing the amount of transform operation is further increased.

Second, the amount of computation required for the entire transform process can be reduced, thereby reducing the power consumption required to perform the transform.

Third, the latency involved in the transform process is reduced.

The secondary transformation such as the LFNST adds a computational amount to the existing primary transformation, thus increasing the overall delay time involved in performing the transformation. In particular, in the case of intra prediction, since reconstructed data of neighboring blocks is used in the prediction process, during encoding, an increase in latency due to a secondary transformation leads to an increase in latency until reconstruction. This can lead to an increase in overall latency of intra prediction encoding.

However, if the zero-out suggested in (ii) is applied, the delay time of performing the primary transform can be greatly reduced when LFNST is applied, the delay time for the entire transform is maintained or reduced, so that the encoding apparatus can be implemented more simply.

Hereinafter, the image decoding process in which the embodiment is reflected is shown in a table.

TABLE 5 7.3.2.3 Sequence parameter set RBSP syntax Descriptor seq_parameter_set_rbsp( ) {  ... ...  sps_log2_max_luma_transform_size_minus5 u(1)  sps_sao_enabled_flag u(1)  sps_alf_enabled_flag u(1)  sps_pem_enabled_flag u(1)  ... ... 7.4.3.3 Sequence parameter set RBSP semantics  ...... MinTbLog2SizeY = 2 (7-14) MaxTbLog2SizeY = sps_log2_max_luma_transform_size_minuss r 5 (7-15) MinTbSizeY = 1 << MinTbLog2SizeY (7-16) MaxTbSizeY=1 << MaxTbLog2SizeY (7-17) ...... sps_log2_max_luma_transform_size_minus5 specifies the base 2 logarithm of the maximum transform size minus 5. ...... sps_sbt_enabled_flag equal to 0 specifies that subblock transform for inter-predicted CUs is disabled sps_sbt_enabled_flag equal to 1 specifies that subblock transform for inter-predictedsz CU is enabled. sps_sbt_max_size_64_flag equal to 0 specifies that the maximum CU width and height for allowing subblock transform is 32 luma samples. sps_sbt_max_size_64_flag equal to 1 specifies that the maxitmm CU width and height for allowing subblock transform is 64 luma samples. MaxSbtSize = Min( MaxTbSizeY, sps_sbt_max_size_64_flag ? 64 : 32) (7-34)

Table 5 shows that sps_log 2_max_luma_transform_size_minus5, which is syntax information on the size of a transform block, is signaled through the sequence parameter set syntax. According to semantics, sps_log 2_max_luma_transform_size_minus5 represents a value obtained by subtracting 5 after taking the base 2 logarithm for the maximum transform size.

The minimum size (Min TbSizeY) of a transform block in which transformation can be performed is set to 4 (Min TbSizeY=1<<Min TbLog 2SizeY), and the maximum size of a transform block in which transformation can be performed may be derived as a power of 2 of a value obtained by adding 5 to sps_log 2_max_luma_transform_size_minus5(Max TbLog 2SizeY=sps_log 2_max_luma_transform_size_minus5+5, Max TbSizeY=1<<Max TbLog 2SizeY).

Since sps_log 2_max_luma_transform_size_minus5 consists of 1 bit and has a value of 0 or 1, the width and height of the maximum transform block may be set to 32 or 64 based on sps_log 2_max_luma_transform_size_minus5 of Table 5.

Meanwhile, according to another embodiment, flag information sps_max_luma_transform_size_64_flag for the size of the maximum transform block may be signaled. When sps_max_luma_transform_size_64_flag is 1, the maximum size of the transform block is 64, and when sps_max_luma_transform_size_64_flag is 0, the maximum size of the transform block is 32.

TABLE 6 7.3.7.5 Coding unit syntax Descriptor coding_unit( x0, y0, cbWidth, cbHeight, treeType ) {  ... ...  if( !pcm_flag[ x0 ][ y0 ]) {   if( CuPredMode[x0 ][ y0 ] = MODE_INTRA &&    general_merge_flag[ x0 ][ y0 | = = 0 )    cu_cbf ae(v)   if( cu_cbf ) {    ......    LfnstDcOnly = 1    LfnstZeroOutSigCoeffFisg = 1    transform_tree( x0, y0, cbWidth, cbHeight, treeType )    lfnstWidth = ( treeType == DUAL_TREE_CHROMA) ? cbWidth / SubWidthC     : cbWidth    lfnstHeight = ( treeType = = DUAL_TREE_CHROMA ) ? cbHeight / SubHeightC     : cbHeight    if( Min( lfnstWidth, lfhstHeight ) >= 4 && sps_lfnst_enabled_flag = = 1  &&     CuPredMode[ x0 ][ y0 ] = = MODE_INTRA &&     IntraSubPartitionsSplitType = = ISP_NO_SPLIT &&     !ntra_mip_flag[ x0 ][ y0 ] && tu_mts_idx[ x0 ][ y0 ] = = 0 &&  Max( cbWidth, cbHeight ) <= MaxTbSizeY ) {     if( LfrnstDcOnly = = 0 && LfnstZeroOutSigCoeffFlag = = 1 )      lfnst_idx[ x0 ][ y0 ] ae(v)    }   }  } }

Table 6 shows lfnst_idx[x0][y0] syntax elements signaled at the coding unit level. lfnst_idx[x0][y0] may indicate any one of two transform kernel matrices included in the transform set. If lfnst_idx is 0, it may indicate that non-separable secondary transform, that is, LFNST is not applied.

In order for lfnst_idx to be parsed by the decoding apparatus, many conditions must be satisfied. First, the variable LfnstDcOnly and the variable LfnstZeroOutSigCoeffFlag are initially set to 1. After parsing the syntax for the transformation tree (transform_tree(x0, y0, cbWidth, cbHeight, treeType)), when the variable LfnstDcOnly set to 1 is changed to 0, and the value of the variable LfnstZeroOutSigCoeffFlag is maintained at 1, lfnst_idx can be parsed [if(LfnstDcOnly==0 && LfnstZeroOutSigCoeffFlag==1)]. The variable LfnstDcOnly and the variable LfnstZeroOutSigCoeffFlag may be derived through residual coding syntax information.

Meanwhile, the maximum coding block size in which lfnst_idx[x0][y0] can be coded is limited to the maximum transform size (Max(cbWidth, cbHeight)<=Max TbSizeY).

In addition, since the width (cbWidth) of the coding block and the height (cbHeight) of the coding block indicate the width of the coding block and the height of the coding block for the luma component, respectively, in the case of the chroma component, the LFNST may be applied to each block having a smaller size according to the image color format (eg, 4:2:0).

Specifically, as shown in Table 6, if the tree type of the target block is dual tree chroma, the LFNST may be applied to a chroma block having a size divided by SubWidthC and SubHeight indicating a variable for the chroma format in the size of the luma coding block [lfnstWidth=(treeType==DUAL_TREE_CHROMA) ? cbWidth/SubWidthC : cbWidth, lfnstHeight=(treeType==DUAL_TREE_CHROMA) ? cbHeight/SubHeightC : cbHeight].

If the color format is 4:2:0, SubWidthC and SubHeight become 2, so the LFNST may be applied to a chroma block having a width and height obtained by dividing the width and height of the luma block by 2. Therefore, since the LFNST can be applied when the size of the luma block is equal to or smaller than the 64×64 block, the LFNST can be applied when the size of the chroma block is equal to or smaller than the 32×32 block when the color format is 4:2:0.

Meanwhile, in this document, when the horizontal and vertical lengths of block A are Wa and Ha, respectively, and when the horizontal and vertical lengths of block B are Wb and Hb, respectively, block A is smaller than block B means that Wa is equal to or smaller than Wb, Ha is equal to or smaller than Hb, and Wa and Wb are not equal or Ha and Hb are not equal. Also, the meaning that block A is smaller than or equal to block B indicates that Wa is equal to or smaller than Wb and Ha is equal to or smaller than Hb.

In summary, when the size of the target block is equal to or smaller than the preset maximum size, the LFNST may be applied, this maximum size may be applied to the size of the luma block, and correspondingly, the maximum size of the chroma block to which the LFNST may be applied may be derived.

TABLE 7 7.3.7.10 Transform unit syntax Descriptor transform_unit( x0, y0, tbWidth, tbHeight, treeType, subTuIndex } {  ......  if( tu_cbf_luma[ x0 ][ y0 ] && treeType != DUAL_TREE_CHROMA    && ( tbWidth <= 32 ) && ( tbHeight <= 32)    && ( IntraSubPartitionsSplit[ x0 ][ y0 ] = = ISP_NO_SPLIT ) && ( !cu_sbt_flag ) ) {   if( transform_skip_enabled_flag && tWidth <= MaxTsSize && tbHeight <= MaxTsSize )    transform_skip_flag[ x0 ][ y0 ] ae(v)   if ( CuPredMode[ x0 ][ y0 ] = = MODE_INTER && spa_explicit_mts_inter_enabled_flag )    | | ( CuPredMode[ x0 ][ y0 ] = = MODE_INTRA && sps_explicit_mts_intra_enabled_flag ) )   && ( !transform_skip_flag[ x0 ][ y0 ] ) )   tu_mts_idx[ x0 ][ y0 ] ae(v)  }  ... ... } 7.4.8.10 Transform amt semantics ... ... transform_skip_flag[ x0 ][ y0 ] specifies whether a transform is applied to the luma transform block or not. The array indices x0, y0 specify the location ( x0, y0 ) of the top-left luma sample of the considered transform block relative to the top-left luma sample of the picture. transferm_skip_flag[ x0 ][ y0 ] equal to 1 specifies that no transform is applied to the luma transform block. transform_skip_flag[ x0 ][ y0 ] equal to 0 specifies that the decision whether transform is applied to the tana transform block or not depends on other syntax elements. Whes transform_skip_flag[ x0 ][ y0 ] is not present, it is inferred as follows: If BdcpmFlag[ x0 ][ x0 ] is equal to 1, transform_skip_flag[ x0 ][ y0 ] is inferred to be equal to 1. Otherwise (BdcpmFlag[ x0 ][ x0 ] is equal to 0), transform_skp_flag[ x0 ][ y0 ] is inferred to be equal to 0. ... ...

Table 7 shows transform_skip_flag indicating whether to skip transform with respect to a transform block and tu_mts_idx[x0][y0], which is transform kernel index information for primary transform.

As shown in Table 7, in order for tu_mts_idx[x0][y0] to be signaled, there may be a case where the prediction mode of the current block is inter mode or or when flag information sps_explicit_mts_inter_enabled_flag that explicitly indicates whether the MTS can be applied to residual data generated by the inter prediction is 1 [(CuPredMode[x0][y0]==MODE_INTER && sps_explicit_mts_inter_enabled_flag)], or a case where the prediction mode of the current block is intra mode or or when flag information sps_explicit_mts_intra_enabled_flag that explicitly indicates whether the MTS can be applied to residual data generated by the intra prediction is 1 [(CuPredMode[x0][y0]==MODE_INTRA && sps_explicit_mts_intra_enabled_flag)].

Additionally, when a condition in which transform_skip_flag is not 0 is satisfied, tu_mts_idx[x0][y0] may be parsed.

Meanwhile, according to another example, the tu_mts_idx[x0][y0] may be signaled at the coding unit level of Table 6 rather than the transform unit level.

TABLE 8 7.3.7.11 Residual coding syntax Descriptor residual_coding( x0, y0, log2TbWidth, log2TbHeight, cIdx ) {  if ( tu_mts_idx[ x0 ][ y0 ] > 0 | |    ( cu_sbt_flag && log2TbWidth c 6 && log2TbHeight < 6 ) )    && cldx = = 0 && log2TbWidth > 4 )   log2ZoTbWidth = 4  else   log2ZoTbWide = Min( log2TbWidth, 5)  MaxCcbs = 2 * ( 1 <<log2TbWidth ) * (log2TbHeight)  if( tu_mts_idx[ x0 ][ yo ] > 0 | |    ( cu_sbt_flag && log2TbWidth < 6 && log2TbHeight < 6 ) )    && cIdx = = 0 && log2TbHeight > 4 )   log2ZoTbHeight = 4  else   log2ZoTbHeight = Min( log2TbHeight, 5 )  if log2TbWidth > 0 )   last_sig_coeff_x_prefix ae(v)  if log2TbHeight > 0 )   last_sig_coeff_y_prefix ae(v)  if last_sig_coeff_x_prefix >3)   last_sig_coeff_x_suffix ae(v)  if last_sig_coeff_y_prefix > 3 )   last_sig_cceff_y_sufix ae(v)  log2TbWidth = log2ZoTbWidth  log2lbHeight = log2ZoTbHeight  log2SbW= ( Min( log2TbWidth, log2TbHeight) < 2 ? 1 : 2)  log2SbH = log2SbW  if log2TbWidth + log2TbHeight > 3 ) {   if log2TbWidth < 2 ) {    log2Sbw = log2TbWidth    log2SbH = 4 − log2SbW   } else if log2TbHeight < 2) {    log2SaH = log2TbHeight    log2SbW = 4 − log28bH   }   }   numSbCoeff = 1 << ( log2SbW + log2SbH)   lastScanPos = numSbCoeff   lastSubBlock = ( 1 << ( log2TbWidth − log2TbHeight − ( log2SbW + log2SbH ) ) ) − 1   do {    if( lastScanPos = = 0) {     lastScanPos = numSbCoeff     lastSubBlock− −   }   lastScanPos− −   xS = DiagScanOrder[ log2Tb Width − log2SbW ][ log2TbHeight − log2SbH ]    [ lastSubBlock ][ 0 ]   yS = DiagScanOrder[ log2TbWidth   log2SbW ][ log2TbHeight − log2SbH ]    [ lastSubBlock ][ 1 ]   xC = ( xS << log2SbW ) + DiagScanOrder[ log2SbW ][ log2SbH ][ lastScanPos ][ 0 ]   yC = ( yS << log2SbH ) + DiagScanOrder[ log2SbW ][ log2SbH ][ lastScanPos ][ 1 ]  } ( while( ( xC != LastSignificantCoefX ) | | (yC != LastSignificantCoeffY ) )  if( lastSubBlock = = 0 && log2TbWidth >= 2 && log2TbHeight >= 2 &&   !transform_skip_flag[ x0 ][ y0 ] && lastScanPos > 0 ) {   LfnstDcOnly = 0  }  if( ( lastSubBlock > 0 && log2TbWidth >= 2 && log2TbHeight >= 2) | |   ( lastScanPos > 7 && ( log2TbWidth = = 2 | | log2TbHeight = = 3 ) &&   log2TbWidtk = = log2TbHeight ) ) {   LfnstZeroOutSigCoeffFlag = 0  }  ... ... }

Table 8 shows a residual coding syntax, and the process in which the variable LfnstDcOnly and the variable LfnstZeroOutSigCoeffFlag of Table 6 are derived is shown.

Based on the size of the transform block, a variable log 2SbW and a variable log 2SbH indicating the height and width of the sub-block can be derived, numSbCoeff representing the number of coefficients that may exist in a sub-block may be set based on the variable log 2SbW and the variable log 2SbH [numSbCoeff=1<<(log 2SbW+log 2SbH)].

A variable lastScanPos indicating the position of the last significant coefficient within the subblock is initially set to numSbCoeff, a variable lastSubBlock indicating the subblock in which the last non-zero coefficient exists is initially set to “(1<<(log 2TbWidth+log 2TbHeight−(log 2SbW+log 2SbH)))−1”.

While scanning diagonally in the subblock corresponding to lastSubBlock [lastScanPos−−], it is checked whether the last non-zero significant coefficient exists at the corresponding position.

When no significant coefficient is found until the variable lastScanPos becomes 0 within the subblock pointed to by lastSubBlock, the variable lastScanPos is again set to numSbCoeff, and the variable lastSubBlock is also changed to the next sub-block in the scan direction.

That is, as the variable lastScanPos and the variable lastSubBlock are updated according to the scan direction, the position where the last non-zero coefficient exists is identified.

The variable LfnstDcOnly indicates whether a non-zero coefficient exists at a position that is not a DC component for at least one transform block in one coding unit, when the non-zero coefficient exists in the position that is not the DC component for at least one transform block in the one coding unit, it becomes 0, and when non-zero coefficients do not exist at positions other than the DC components for all transform blocks in the one coding unit it becomes 1. In this document, the DC component refers to (0, 0) or the top-left position relative to the 2D component.

Several transform blocks may exist within one coding unit. For example, in the case of a chroma component, transform blocks for Cb and Cr may exist, and in the case of a single tree type, transform blocks for luma, Cb, and Cr may exist. According to an example, when a non-zero coefficient other than the position of the DC component is found in one transform block among transform blocks constituting the current coding block, the variable LnfstDcOnly value may be set to 0.

Meanwhile, since the residual coding is not performed on the corresponding transform block if the non-zero coefficient do not exist in the transform block, the value of the variable LfnstDcOnly is not changed by the corresponding transform block. Therefore, when the non-zero coefficient does not exist in the position that is not the DC component in the transform block, the value of the variable LfnstDcOnly is not changed and the previous value is maintained. For example, if the coding unit is coded as a single tree type and the variable LfnstDcOnly value is changed to 0 due to the luma transform block, even of the the non-zero coefficient exist only in the DC component in the Cb/Cr transform block or the non-zero coefficient do not exist in the Cb/Cr transform block, the value of the variable LfnstDcOnly remains value of 0. The value of the variable LfnstDcOnly is initially initialized to 1, and if no component in the current coding unit can update the value of the variable LfnstDcOnly to 0, it maintains the value of 1 as it is and when the value of the variable LfnstDcOnly is updated to 0 at any one of the transform blocks constituting the corresponding coding unit, it is finally maintained at 0.

As shown in Table 8, when the index of the subblock in which the last non-zero coefficient exists is 0 [lastSubBlock==0] and the position of the last non-zero coefficient in the sub-block is greater than 0 [lastScanPos>0], the variable LfnstDcOnly may be derived as 0. The variable LfnstDcOnly can be derived as 0 only when the width and height of the transform block are 4 or more [log 2TbWidth>=2 && log 2TbHeight>=2], and no transform skip is applied [!transform_skip_flag[x0][y0]].

Assuming that the LFNST is applied, the variable LfnstZeroOutSigCoeffFlag, which can indicate whether the zero-out was performed properly, is set to 0 in case that the index of the sub-block in which the last non-zero coefficient exists is greater than 0, and the width and height of the transform block are both greater than or equal to 4 [(lastSubBlock>0 && log 2TbWidth>=2 && log 2TbHeight>=2)], or in case that when the last position of the non-zero coefficient within the subblock in which the last non-zero coefficient exists is greater than 7 and the size of the transform block is 4×4 or 8×8 [(lastScanPos>7 && (log 2TbWidth==2∥log 2TbHeight==3) && log 2TbWidth==log 2TbHeight)].

That is, the first condition for the variable LfnstZeroOutSigCoeffFlag is a condition in which the non-zero coefficient is derived in the region other than the top-left region to which the LFNST can be applied in the transform block (That is, when the significant coefficient in sub-blocks other than the top-left sub-block (4×4) are derived). When the first condition is satisfied, the flag variable lfnstZeroOutSigCoeffFlag for the zero out of the LFNST is set to 0. Satisfying the first condition indicates that zero-out is not performed, assuming that that LFNST is applied.

The second condition for the variable LfnstZeroOutSigCoeffFlag is for the 4×4 block and the 8×8 block. When the LFNST is applied to the 4×4 block and the 8×8 block, since the last position where the non-zero coefficient can exist is the 8th position as shown in (a) and (d) of FIG. 10 , if the non-zero coefficient exists outside the 7th position when starting from 0, the flag variable lfnstZeroOutSigCoeffFlag is set to 0. Satisfying the second condition also indicates that zero-out is not performed when it is assumed that the LFNST is applied.

As such, when the flag variable lfnstZeroOutSigCoeffFlag is set to 0, as shown in Table 6, lfnst_idx signaled at the coding unit level is not signaled. That is, when the flag variable lfnstZeroOutSigCoeffFlag is set to 0, the decoding apparatus does not parse lfnst_idx.

In summary, at the coding unit level, the variable LfnstDcOnly and the variable LfnstZeroOutSigCoeffFlag are set to 1, respectively, and then are newly derived through the process shown in Table 8 at the residual coding level. Only when the variable LfnstDcOnly derived from the residual coding level is 0 and the variable LfnstZeroOutSigCoeffFlag is 1 [if(LfnstDcOnly==0 && LfnstZeroOutSigCoeffFlag==1), lfnst_idx may be signaled.

TABLE 9 8.4.5 Decoding process for intra blocks 8.4.5.1 General decoding process for intra blocks Inputs to this process are: - a sample location ( xTb0, yTb0 ) specifying the top-left sample of the current transform block relative to the top-left sample of the current picture, - a variable nTbW specifying the width of the current transform block, - a variable nTbH specifying the height of the current transform block, - a variable predModeIntra specifying the intra prediction mode, - a variable cIdx specifying the colour component of the current block. Output of this process is a modified reconstructed picture before in-loop filtering. The maximum transform block size maxTbSize is derived as follows:   maxTbWidth = ( cIdx = = 0 ) ? MaxTbSizeY : MaxTbSizeY / SubWidthC   maxTbHeight = ( cIdx = = 0 ) ? MaxTbSizeY : MaxTbSizeY / SubHeightC The luma sample location is derived as follows:   ( xTbY, yTbY ) = ( cIdx = = 0 ) ? ( xTb0, yTb0 ) : ( xTb0 * SubWidthC, yTb0 * SubHeight   C )(8-50) Depending on maxTbSize, the following applies: - If IntraSubPartitionsSplitType is equal to NO_ISP_SPLIT and nTbW is greater than maxTbWidth or nTbH is greater than maxTbHeight, the following ordered steps apply.  1. The variables newTbW and newTbH are derived as follows:  newTbW = ( nTbW > maxTbWidth ) ? ( nTbW / 2 ) : nTbW (8-51)  newTbH = ( nTbH > maxTbHeight ) ? ( nTbH / 2 ) : nTbH (8-52)  2. The general decoding process for intra blocks as specified in this clause is invoked with the location ( xTb0, yTb0 ), the transform block width nTbW set equal to newTbW and the height nTbH set equal to newTbH, the intra prediction mode predModeIntra, and the variable cIdx as inputs, and the output is a modified reconstructed picture before in-loop filtering.  3. If nTbW is greater than maxTbWidth, the general decoding process for intra blocks as specified in this clause is invoked with the location ( xTb0, yTb0 ) set equal to ( xTb0 + newTbW, yTb0 ), the transform block width nTbW set equal to newTbW and the height nTbH set equal to newTbH, the intra prediction mode predModeIntra, and the variable cIdx as inputs, and the output is a modified reconstructed picture before in-loop filtering.  4. If nTbH is greater than maxTbHeight, the general decoding process for intra blocks as specified in this clause is invoked with the location ( xTb0, yTb0 ) set equal to ( xTb0, yTb0 + newTbH ), the transform block width nTbW set equal to newTbW and the height nTbH set equal to newTbH, the intra prediction mode predModeIntra, and the variable cIdx as inputs, and the output is a modified reconstructed picture before in-loop filtering.  5. If nTbW is greater than maxTbWidth and nTbH is greater than maxTbHeight, the general decoding process for intra blocks as specified in this clause is invoked with the location ( xTb0, yTb0 ) set equal to ( xTb0 + newTbW, yTb0 + newTbH ), the transform block width nTbW set equal to newTbW and the height nTbH set equal to newTbH, the intra prediction mode predModeIntra, and the variable cIdx as inputs, and the output is a modified reconstructed picture before in-loop filtering. - Otherwise, the following ordered steps apply. ......

TABLE 10 8.5.8 Decoding process for the residual signal of coding blocks coded in inter prediction mode Inputs to this process are: - a sample location ( xTb0, yTb0 ) specifying the top-left sample of the current transform block relative to the top-left sample of the current picture, - a variable nTbW specifying the width of the current transform block, - a variable nTbH specifying the height of the current transform block, - a variable cIdx specifying the colour component of the current block. Output of this process is an (nTbW)x(nTbH) array resSamples. The maximum transform block size maxTbSize is derived as follows:   maxTbWidth = ( cIdx = = 0 ) ? MaxTbSizeY : MaxTbSizeY / SubWidthC   maxTbHeight = ( cIdx = = 0 ) ? MaxTbSizeY : MaxTbSizeY / SubHeightC The luma sample location is derived as follows:  ( xTbY, yTbY ) = ( cIdx = = 0 ) ? ( xTb0, yTb0 ) : ( xTb0 * SubWidthC, yTb0 * SubHeightC )    (8-868) Depending on maxTbSize, the following applies: - If nTbW is greater than maxTbWidth or nTbH is greater than maxTbHeight, the following ordered steps apply.  1. The variables newTbW and newTbH are derived as follows:  newTbW = ( nTbW > maxTbWidth ) ? ( nTbW / 2 ) : nTbW (8-869)  newTbH = ( nTbH > maxTbHeight ) ? ( nTbH2 ) : nTbH (8-870)  2. The decoding process process for the residual signal of coding units coded in inter prediction mode as specified in this clause is invoked with the location ( xTb0, yTb0 ), the transform block width nTbW set equal to newTbW and the height nTbH set equal to newTbH, and the variable cIdx as inputs, and the output is a modified reconstructed picture before in-loop filtering.  3. When nTbW is greater than maxTbWidth, the decoding process process for the residual signal of coding units coded in inter prediction mode as specified in this clause is invoked with the location ( xTb0, yTb0 ) set equal to ( xTb0 + newTbW, yTb0 ), the transform block width nTbW set equal to newTbW and the height nTbH set equal to newTbH, and the variable cIdx as inputs, and the output is a modified reconstructed picture .  4. When nTbH is greater than maxTbHeight, the decoding process process for the residual signal of coding units coded in inter prediction mode as specified in this clause is invoked with the location ( xTb0, yTb0 ) set equal to ( xTb0, yTb0 + newTbH ), the transform block width nTbW set equal to newTbW and the height nTbH set equal to newTbH, and the variable cIdx as inputs, and the output is a modified reconstructed picture before in-loop filtering.  5. Wwhen nTbW is greater than maxTbWidth and nTbH is greater than maxTbHeight, the decoding process process for the residual signal of coding units coded in inter prediction mode as specified in this clause is invoked with the location ( xTb0, yTb0 ) set equal to ( xTb0 + newTbW, yTb0 + newTbH ), the transform block width nTbW set equal to newTbW and height nTbH set equal to newTbH, and the variable cIdx as inputs, and the output is a modified reconstructed picture before in-loop filtering. Otherwise, the scaling and transformation process as specified in clause 8.7.2 is invoked with the luma location ( xTbY, yTbY ), the variable cIdx, the transform width nTbW and the transform height nTbH as inputs, and the output is an (nTbW)x(nTbH) array resSamples.

Tables 9 and 10 show that intra prediction and inter prediction processes are performed based on the variable Max TbSizeY for the size of the transform block derived from Table 5.

The maximum width (max TbWidth) and maximum height (max TbHeight) of the transform block are derived from either the variable Max TbSizeY or Max TbSizeY/SubWidthC that reflects the color format according to the color index cIdx for luma or chroma [max TbWidth=(cIdx==0) ? Max TbSizeY : Max TbSizeY/SubWidthC, max TbHeight=(cIdx==0) ? Max TbSizeY : Max TbSizeY/SubHeightC].

The height and width of the transform block for the inter prediction and the intra prediction are set based on the variable max TbWidth and the variable max TbHeight derived in this way [newTbW=(nTbW>max TbWidth) ? (nTbW/2) : nTbW, newTbH=(nTbH>max TbHeight) ? (nTbH/2) : nTbH], a subsequent prediction process may be performed based on the set value.

8.7.4 Transformation process for scaled transform coefficients 8.7.4.1 General Inputs to this process are: - a luma location ( xTbY, yTbY ) specifying the top-left sample of the current luma transform block relative to the top-left luma sample of the current picture, - a variable nTbW specifying the width of the current transform block, - a variable nTbH specifying the height of the current transform block, - a variable cIdx specifying the colour component of the current block, - an (nTbW)x(nTbH) array d[ x ][ y ] of scaled transform coefficients with x = 0..nTbW − 1, y = 0..nTbH − 1. Output of this process is the (nTbW)x(nTbH) array r[ x ][ y ] of residual samples with x = 0..nTbW − 1, y = 0..nTbH − 1. When lfnst_idx[ xTbY ][ yTbY ] is not equal to 0 and both nTbW and nTbH are greater than or equal to 4, the following applies: - The variables predModeIntra, nLfnstOutSize, log2LfnstSize, nLfnstSize, and nonZeroSize are derived as follows:  predModeIntra =  ( cIdx = = 0 ) ? IntraPredModeY[ xTbY ][ yTbY ] : IntraPredModeC[ xTbY ][ yTbY ]   (8-952)  nLfnstOutSize = ( nTbW >= 8 && nTbH >= 8 ) ? 48 : 16 (8-953)  log2LfnstSize = ( nTbW >= 8 && nTbH >= 8 ) ? 3 : 2 (8-954)  nLfnstSize = 1 << log2LfnstSize (8-955)  nonZeroSize = ( ( nTbW = = 4 && nTbH = = 4 ) | |  ( nTbW = = 8 && nTbH = = 8 ) ) ? 8 : 16 (8-958) - When predModeIntra is greater than or equal to 81, the chroma intra prediction mode derivation process as specified in clause 8.4.4 is invoked with a luma location ( xTbY, yTbY ), nTbW, nTbH as inputs, and predModeIntra is set equal to IntraPredModeY[ xTbY + nTbW / 2 ][ yTbY + nTbH / 2 ]. - The wide angle intra prediction mode mapping process as specified in clause 8.4.5.2.6 is invoked with predModeIntra, nTbW, nTbH and cIdx as inputs, and the modified predModeIntra as output. - The values of the list u[ x ] with x = 0..nonZeroSize − 1 are derived as follows:   xC = DiagScanOrder[ 2 ][ 2 ][ x ][ 0 ] (8-959)   yC = DiagScanOrder[ 2 ][ 2 ][ x ][ 1 ] (8-960)   u[ x ] = d[ xC ][ yC ] (8-961) -  The one-dimensional low frequency non-separable transformation process as specified in  clause 8.7.4.2 is invoked with the input length of the scaled transform coefficients  nonZeroSize, the transform output length nTrS set equal to nLfnstOutSize, the list of scaled  non-zero transform coefficients u[ x ] with x = 0..nonZeroSize − 1, the intra prediction mode  for LFNST set selection predModeIntra, and the LFNST index for transform selection in the  selected LFNST set lfnst_idx[ xTbY ][ yTbY ] as inputs, and the list v[ x ] with  x = 0..nLfnstOutSize − 1 as output. -  The array d[ x ][ y ] with x = 0..nLfnstSize − 1, y = 0..nLfnstSize − 1 is derived as follows: -  If predModeIntra is less than or equal to 34, the following applies:   d[ x ][ y ] = ( y < 4 ) ? v[ x + ( y << log2LfnstSize ) ] : (8-962)    ( ( x < 4 ) ? v[ 32 + x + ( ( y − 4 ) << 2 ) ] : d[ x ][ y ] ) -  Otherwise, the following applies:   d[ x ][ y ] = ( x < 4 ) ? v[ y + ( x << log2LfnstSize ) ] : (8-963)    ( ( y < 4 ) ? v[ 32 + y + ( ( x − 4 ) << 2 ) ] : d[ x ][ y ] ) The variable implicitMtsEnabled is derived as follows: - If sps_mts_enabled_flag is equal to 1 and one of the following conditions is true, implicitMtsEnabled is set equal to 1: -   IntraSubPartitionsSplitType is not equal to ISP_NO_SPLIT -   cu_sbt_flag is equal to 1 and Max( nTbW, nTbH ) is less than or equal to 32 -   sps_explicit_mts_intra_enabled_flag is equal to 0 and CuPredMode[ xTbY ][ yTbY ] is   equal to MODE_INTRA and lfnst_idx[ x0 ][ y0 ] is equal to 0 and intra_mip_flag[ x0 ][ y0 ]   is equal to 0 - Otherwise, implicitMtsEnabled is set equal to 0. The variable trTypeHor specifying the horizontal transform kernel and the variable trTypeVer specifying the vertical transform kernel are derived as follows: - If cIdx is greater than 0, trTypeHor and trTypeVer are set equal to 0 - Otherwise, if implicitMtsEnabled is equal to 1, the following applies: -  If IntraSubPartitionsSplitType is not equal to ISP_NO_SPLIT or both  sps_explicit_mts_intra_enabled_flag and sps_explicit_mts_inter_enabled_flag are equal to  0 and CuPredMode[ xTbY ][ yTbY ] is equal to MODE_INTRA, trTypeHor and trTypeVer  are derived as follows:   trTypeHor = ( nTbW >= 4 && nTbW <= 16 ) ? 1 : 0 (8-964)   trTypeVer = ( nTbH >= 4 && nTbH <= 16 ) ? 1 : 0 (8-965) -  Otherwise, if cu_sbt_flag is equal to 1, trTypeHor and trTypeVer are specified in Table 8-19  depending on cu_sbt_horizontal_flag and cu_sbt_pos_flag. - Otherwise, trTypeHor and trTypeVer are specified in Table 8-18 depending on tu_mts_idx[ xTbY ][ yTbY ]. The variables nonZeroW and nonZeroH are derived as follows: - If lfnst_idx[ xTbY ][ yTbY ] is not equal to 0, the following applies:  nonZeroW = ( nTbW == 4 | | nTbH == 4 ) ? 4 : 8  nonZeroH = ( nTbW == 4 | | nTbH == 4 ) ? 4 : 8  Otherwise, the following applies:  nonZeroW = Min( nTbW, ( trTypeHor > 0 ) ? 16 : 32 ) (8-966) nonZeroH = Min( nTbH, ( trTypeVer > 0 ) ? 16 : 32 ) (8-967)

Table 11 shows the overall conversion process performed by the decoding apparatus.

Referring to Table 11, the variable nonZeroSize indicating the size or number of non-zero variables on which matrix operation is performed in order to apply LFNST is set to 8 or 16. When the width and height of the transform block are 4 or 8, that is, the length of the output data of the forward LFNST or the input data of the inverse LFNST of the 4×4 block and the 8×8 block as shown in FIG. 10 is 8. For all other blocks, the length of the output data of the forward LFNST or the input data of the inverse LFNST is 16 [nonZeroSize=((nTbW==4 && nTbH==4)∥(nTbW==8 && nTbH==8)) ? 8 : 16]. That is, when the forward LFNST is applied, the maximum number of output data is limited to 16.

The input data of this inverse LFNST may be two-dimensionally arranged according to a diagonal scan [xC=DiagScanOrder[2][2][x][0], yC=DiagScanOrder[2][2][x][1]]. The above-described part shows the decoding process for (i) of the LFNST simplification method.

As such, since the number of input data of the inverse LFNST for the transform block is limited to a maximum of 16, the LFNST can be applied to the most top-left 4×4 region in a 4×N block or a N×4 block where N is 16 or more, as shown in FIG. 11 and as a result, as shown in (d) of FIG. 12 , the zero-out may be performed on the remaining blocks to which the 4×4 LFNST is not applied.

On the other hand, when the intra prediction mode is greater than or equal to 81, that is, when CCLM is applied during the intra prediction of the chroma block, an intra prediction mode (predModeIntra) for deriving a transform set may be set as an intra mode (IntraPredModeY[xTbY+nTbW/2][yTbY+nTbH/2]) of a corresponding luma block.

Meanwhile, a variable implicitMtsEnabled indicating whether the MTS is implicitly performed may be set to 1 when it satisfies the conditions that flag information sps_mts_enabled_flag signaled at the sequence parameter level is 1, sps_explicit_mts_intra_enabled_flag is 0, the intra prediction mode is applied to the current block, lfnst_idx is 0, and intra_mip_flag is 1.

In addition, variables nonZeroW and nonZeroH indicating the width and height of the upper-left block in which the non-zero transform coefficient input to the inverse primary transform can exist are is derived as 4 when the lfnst index is not 0 and the width or width of the transform block is 4, otherwise is derived as 8 [nonZeroW=(nTbW==4∥nTbH==4) ? 4 : 8, nonZeroH=(nTbW==4∥nTbH==4) ? 4 : 8]. That is, in the transform block, the zero-out is performed in the regions other than the 4×4 region and the 8×8 region to which the lfnst is applied. This part shows the decoding process for (ii) of the LFNST simplification method.

TABLE 12 8.7.4.3 Low frequency non-separable transformation matrix derivation process Inputs to this process are: a variable nTrS specifying the transform output length, a variable predModeIntra specifying the intra prediction mode for LFNST set selection, a variable lfnstIdx specifying the LFNST index for transform selection in the selected LFNST set. Output of this process is the transformation matrix lowFreqTransMatrix. The variable lfnstTrSetIdx is specified in Table 8-20 - Specification of lfnstTrSetIdx depending on predModeIntra. Table 8-20 - Specification of lfnstTrSetIdx predModeIntra lfnstTrSetIdx predModeIntra < 0 1 0 <= predModeIntra <= 1 0  2 <= predModeIntra <= 12 1 13 <= predModeIntra <= 23 2 24 <= predModeIntra <= 44 3 45 <= predModeIntra <= 55 2 56 <= predModeIntra <= 80 1

Table 12 shows a transform set for the LFNST and an LFNST transform set derived based on an input value for deriving a transform kernel matrix and an intra prediction mode.

As shown in Table 12, the transform kernel matrix (lowFreqTransMatrix) can be derived using a variable nTrS indicating the transform output size to derive the transform kernel matrix, intra prediction mode information (predModeIntra) for selection of the LFNST transform set, and the LFNST index signaled from the coding unit as input values.

There are four LFNST transform sets, such as 0, 1, 2, and 3, and the same transform set can be applied to modes located in mutually symmetric directions based on the symmetry of the intra prediction mode. When the intra prediction mode is non-directional planar mode or DC mode (0<=predModeIntra<=1), then the transform set is 0, in the case of wide-angle intra prediction mode (predModeIntra<0, 56<=predModeIntra<=80), the transform set is 1.

On the other hand, as described above, when the CCLM is applied to the chroma block, the intra prediction mode (predModeIntra) of the chroma block for deriving the transform set can be set to the intra mode of the corresponding luma block (IntraPredModeY[xTbY+nTbW/2][yTbY+nTbH/2]) rather than 81 to 83 indicating the CCLM or the planar mode.

Accordingly, 81 to 83 are omitted in the intra prediction mode (predModeIntra) for transform set selection of Table 12.

Meanwhile, Table 13 below shows ctxInc allocated to the bin index of the tu_mts_idx syntax element described above (Assignment of ctxInc to syntax elements with context coded bins).

TABLE 13 binIdx Syntax element 0 1 2 3 4 >=5 . . . . . . . . . . . . . . . . . . . . . tu_cbf_cr[ ][ ][ ] tu_cbf_cb[ ][ ][ ] na na na na na cu_qp_delta_abs 0 1 1 1 1 bypass cu_qp_delta_sign_flag bypass na na na na na transform_skip_flag[ ][ ] 0 na na na na na tu_mts_idx[ ][ ] 0 1 2 3 na na tu_joint_cbcr_residual[ ][ ] 0 na na na na na

As shown in Table 13, ctxInc of the first bin (binIdx=0) of tu_mts_idx is 0, ctxInc of the second bin (binIdx=1) is 1, and ctxInc of the third bin (binIdx=2) is 2 and the fourth ctxInc of a bin (binIdx=3) is 3.

In the conventional case, any one ctxInc is selected from among a plurality of ctxInc according to a predetermined condition and allocated to the first bin, as described above, by allocating one fixed ctxInc to the first bin without complying with a specific condition, coding efficiency can be increased.

The following drawings are provided to describe specific examples of the present disclosure. Since the specific designations of devices or the designations of specific signals/messages/fields illustrated in the drawings are provided for illustration, technical features of the present disclosure are not limited to specific designations used in the following drawings.

FIG. 15 is a flowchart illustrating an operation of a video decoding apparatus according to an embodiment of the present disclosure.

Each operation illustrated in FIG. 15 may be performed by the decoding apparatus 200 illustrated in FIG. 2 . Specifically, S1510 to S1550 may be performed by the entropy decoder 210 illustrated in FIG. 2 , S1520 may be performed by the dequantizer 221 illustrated in FIG. 2 , S1560 and S1570 may be performed by the inverse transformer 222 illustrated in FIG. 2 and S1580 may be performed by the adder 240 illustrated in FIG. 2 . Operations according to S1510 to S1580 are based on some of the foregoing details explained with reference to FIG. 3 to FIG. 14 . Therefore, a description of specific details overlapping with those explained above with reference to FIG. 2 to FIG. 14 will be omitted or will be made briefly.

The decoding apparatus 200 according to an embodiment receives a bitstream including residual information, and may derive residual information about a current block, that is, a transform block to be transformed, eg, quantized transform coefficients, from the bitstream (S1510).

More specifically, the decoding apparatus 200 may decode information on quantized transform coefficients for the target block from the bitstream and may derive the quantized transform coefficients for the current block based on the information on the quantized transform coefficients for the current block. The information on the quantized transform coefficients for the target block may be included in a sequence parameter set (SPS) or a slice header and may include at least one of information on whether a reduced transform (RST) is applied, information on the simplification factor, information on a minimum transform size in which the reduced transform is applied, information on a maximum transform size in which the reduced transform is applied, a reduced inverse transform size, and information on a transform index indicating any one of transform kernel matrices included in a transform set.

The decoding apparatus 200 may derive the position of the last significant coefficient in the current block and transform coefficients for the current block based on the residual information (S1520). The decoding apparatus 200 may perform dequantization on the quantized transform coefficients of the current block to derive transform coefficients.

The derived transform coefficients may be two-dimensionally arranged in the current block, and the decoding apparatus may derive the non-zero data, ie, information on non-zero significant coefficients in the current block, through the residual coding. That is, the decoding apparatus may determine the last position information of the non-zero significant coefficient in the current block.

The transform coefficients derived based on the residual information of S1520 may be the dequantized transform coefficients as described above, or may be quantized transform coefficients. That is, the transform coefficient may be any data capable of determining whether or not it is the non-zero data in the current block and the position of the significant coefficient regardless of whether the transform coefficient is quantized or not.

The decoding apparatus may determine whether the index of the subblock including the last significant coefficient is 0 and the position of the last significant coefficient in the subblock is 0 or more (S1530). The decoding apparatus may determine whether a significant coefficient exists in a region other than a DC region (a region in which a DC component is located) of at least one transform block among transform blocks constituting the coding block.

In this document, according to an example, the DC region may mean only a position with respect to a DC transform coefficient, that is, only a top-left position of a transform block.

According to the determination, a first variable or first flag information indicating whether a significant coefficient exists in a region other than the DC region of the current block may be derived, and the first variable or the first flag information may be derived in a residual coding process. The first flag information may be derived as 0 when the index of the subblock including the last significant coefficient in the current block is 0 and the position of the last significant coefficient in the subblock is greater than 0, and if the first flag information is 0, the LFNST index can be parsed.

The first flag information may be initially set to 1, and may be maintained at 1 or may be changed to 0 depending on whether the significant coefficient exists in the region other than the DC region. That is, the first flag information indicating whether the position of the last significant coefficient in the subblock having the index 0 is greater than 0 is initially set to 1, when the position of the last significant coefficient in the subblock having the index 0 is 0 or more, the first flag information is changed to 0. When the first flag information is changed to 0, the LFNST index may be parsed.

According to an example, a variable log 2SbW and a variable log 2SbH indicating the height and width of the sub-block may be derived based on the size of the transform block, and numSbCoeff representing the number of coefficients that may exist in the subblock may be set based on the variable log 2SbW and the variable log 2SbH [numSbCoeff=1<<(log 2SbW+log 2SbH)].

The variable lastScanPos indicating the position of the last significant coefficient within the subblock is initially set to numSbCoeff, and the variable lastSubBlock indicating the subblock in which the last non-zero coefficient exists is initially “(1<<(log 2TbWidth+log 2TbHeight−(log 2SbW+log 2SbH)))−set to 1”

While scanning in the diagonal direction in the subblock corresponding to lastSubBlock [lastScanPos−−], it is checked whether the last significant coefficient other than 0 exists at the corresponding position.

when a significant coefficient is not found until the variable lastScanPos becomes 0 within the subblock pointed to by lastSubBlock, the variable lastScanPos is set to numSbCoeff again, and the variable lastSubBlock is also changed to the next sub-block in the scan direction [lastSubBlock−−].

That is, as the variable lastScanPos and the variable lastSubBlock are updated according to the scan direction, the position where the last non-zero coefficient exists is identified.

The variable LfnstDcOnly indicates whether a non-zero coefficient exists at a position that is not a DC component for at least one transform block in one coding unit, when the non-zero coefficient exists in the position that is not the DC component for at least one transform block in the one coding unit, it becomes 0, and when non-zero coefficients do not exist at positions other than the DC components for all transform blocks in the one coding unit it becomes 1.

As shown in Table 8, when the index of the subblock in which the last non zero coefficient exists is 0 [lastSubBlock==0], and the position of the last nonzero coefficient in the subblock is greater than 0 [lastScanPos>0], the variable LfnstDcOnly may be derived as 0. The variable LfnstDcOnly can be derived as 0 only when the width and height of the transform block are 4 or more [log 2TbWidth>=2 && log 2TbHeight>=2], and no transform skip is applied [!transform_skip_flag[x0][y0]].

According to an example, the decoding apparatus may determine whether a significant coefficient exists in the second region other than the first region at top-left of the current block (S1540).

The decoding apparatus may set a second variable or second flag information indicating whether a significant coefficient exists in the second region except for the first region to 1, and when there is no significant coefficient in the second region, the second flag information may be maintained as 1, and the LFNST index may be parsed.

The second flag information may be a variable LfnstZeroOutSigCoeffFlag that may indicate that zero-out is performed when the LFNST is applied. The second flag information is initially set to 1, and when a significant coefficient exists in the second region, the second flag information may be changed to 0.

The variable LfnstZeroOutSigCoeffFlag can be derived as 0 when the index of the subblock in which the last non-zero coefficient exists is greater than 0 and the width and height of the transform block are both greater than 4 [(lastSubBlock>0 && log 2TbWidth>=2 && log 2TbHeight>=2)], or when the last position of the non-zero coefficient within the subblock in which the last non-zero coefficient exists is greater than 7 and the size of the transform block is 4×4 or 8×8 [(lastScanPos>7 && (log 2TbWidth==2∥log 2TbHeight==3) && log 2TbWidth==log 2TbHeight)].

That is, in the transform block, when non-zero coefficients are derived from regions other than the top-left region where LFNST transform coefficients can exist, or for 4×4 blocks and 8×8 blocks when the non-zero coefficient exists outside the 8th position in the scan order, the variable LfnstZeroOutSigCoeffFlag is set to 0. In this case, the LFNST index is not parsed.

The first region may be derived based on the size of the current block.

For example, when the size of the current block is 4×4 or 8×8, the first region may be from the top-left of the current block to the eighth sample position in the scan direction.

When the size of the current block is 4×4 or 8×8, since 8 data are output through the forward LFNST, the 8 transform coefficients received by the decoding apparatus can be arranged from the top-left of the current block to the 8th sample position in the scan direction as in FIG. 12(a) and FIG. 13(a).

Also, when the size of the current block is not 4×4 or 8×8, the first region may be a 4×4 area at the top-left of the current block. If the size of the current block is not 4×4 or 8×8, since 16 data are output through the forward LFNST, 16 transform coefficients received by the decoding apparatus may be arranged in the top-left 4×4 area of the current block as shown in FIGS. 12(b) to (d) and FIG. 13(b).

Meanwhile, transform coefficients that may be arranged in the first region may be arranged along a diagonal scan direction as shown in FIG. 7 .

Also, according to an example, the maximum number of transform coefficients that may exist in a block to which the LFNST is applied may be 16.

The decoding apparatus may parse the LFNST index from the bitstream when it is determined that the position of the last significant coefficient in the subblock having the index 0 is equal to or greater than 0 and the significant coefficient does not exist in the second region (S1550).

In other word, when the first flag information indicates that the significant coefficient exists in the region other than the DC region, and the second flag information indicates that there is no significant coefficient in the second region, the decoding apparatus can parse the LFNST index from the bitstream.

That is, when the first flag information that was set to 1 is changed to 0 and the second flag information is maintained at 1, the LFNST index may be parsed. In other words, there is the significant coefficient in the sub-block including the DC region, that is, the top-left 4×4 block, in addition to the DC region, and when the significant coefficient does not exist by checking the significant coefficient up to the second region of the current block, the LFNST index for the LFNST may be parsed.

In summary, at the coding unit level, the first flag information LfnstDcOnly and the second flag informationLfnstZeroOutSigCoeffFlag are set to 1, respectively, and then are newly derived through the process shown in Table 8 at the residual coding level. Only when the variable LfnstDcOnly derived from the residual coding level is 0 and the variable LfnstZeroOutSigCoeffFlag is 1 [if(LfnstDcOnly==0 && LfnstZeroOutSigCoeffFlag==1), lfnst_idx may be signaled at the coding unit level.

As described above, when the forward LFNST is performed by the encoding apparatus, the zero-out in which the remaining regions of the current block except for the region in which the LFNST transform coefficients may exist may be performed as 0.

Therefore, when the significant coefficient exists in the second region, it is certain that the LFNST is not applied, so the LFNST index is not signaled and the decoding apparatus does not parse the LFNST index.

The LFNST index information is received as syntax information and the syntax information is received as a binarized bin string including 0 and 1.

The syntax element of the LFNST index according to this embodiment may indicate whether an inverse LFNST or an inverse non-separable transform is applied and any one of a transform kernel matrix included in the transform set, and the transform set includes two transform kernel matrices. In this case, the syntax element of the transform index may have three values.

That is, according to an embodiment, the syntax element value for the LFNST index may be include 0 indicating a case in which the inverse LFNST is not applied to the target block, 1 indicating the first transformation kernel matrix among the transformation kernel matrices, and 2 indicating the second transform kernel matrix among the transformation kernel matrices.

When the LFNST index is parsed, the decoding apparatus may apply the LFNST matrix to the transform coefficients of the first region to derive modified transform coefficients (S1560).

The inverse transformer 232 of the decoding apparatus 200 may determine a transform set based on a mapping relationship according to an intra prediction mode applied to a current block, and may perform an inverse LFNST, that is, the inverse non-separable transformation based on the transform set and the values of syntax elements for the LFNST index.

As described above, a plurality of transform sets may be determined according to an intra prediction mode of a transform block to be transformed, and an inverse LFNST may be performed based on any one of transform kernel matrices, that is, LFNST matrices included in a transform set indicated by an LFNST index. A matrix applied to the inverse LFNST may be named as an inverse LFNST matrix or an LFNST matrix, and the name of this matrix is irrelevant as long as it has a transpose relation with the matrix used for the forward LFNST.

In one example, the inverse LFNST matrix may be a non-square matrix in which the number of columns is less than the number of rows.

Meanwhile, a predetermined number of modified transform coefficients may be derived based on the size of the current block. For example, when the height and width of the current block are 8 or more, 48 modified transform coefficients are derived as shown on the left of FIG. 6 . And when the width and height of the current block are not equal to or greater than 8, that is, when the width and height of the current block are greater than or equal to 4 and the width or height of the current block is less than 8, 16 modified transform coefficients may be derived as shown on the right of FIG. 6 .

As shown in FIG. 6 , the 48 modified transform coefficients may be arranged in the top-left, top-right, and bottom-left 4×4 regions of the top-left 8×8 region of the current block, and the 16 modified transform coefficients may be arranged in the top-left 4×4 region of the current block.

The 48 modified transform coefficients and the 16 modified transform coefficients may be arranged in a vertical or horizontal direction according to the intra prediction mode of the current block. For example, when the intra prediction mode is a horizontal direction (modes 2 to 34 in FIG. 8 ) based on a diagonal direction (mode 34 in FIG. 8 ), the modified transform coefficients may be arranged in the horizontal direction, that is, in the row-first direction, as shown in (a) of FIG. 6 . When the intra prediction mode is a vertical direction (modes 35 to 66 in FIG. 8 ) based on a diagonal direction, the modified transform coefficients may be arranged in the vertical direction, that is, in a column-first direction, as shown in (b) of FIG. 6 .

In one embodiment, S1560 may include decoding the transform index, determining whether it corresponds to the conditions to apply the inverse RST based on the transform index, that is, the LFNST index, selecting a transform kernel matrix and applying the inverse LFNST to the transform coefficients based on the selected transform kernel matrix and/or the simplification factor when the conditions for applying the inverse LFNST is satisfied. In this case, the size of the simplification inverse transform matrix may be determined based on the simplification factor.

Referring to S1560, it can be confirmed that residual samples for the target block are derived based on the inverse LFNST of the transform coefficients for the target block. Regarding the size of an inverse transform matrix, the size of a general inverse transform matrix is N×N, while the size of an inverse LFNST matrix is reduced to N×R, thus making it possible to reduce memory occupancy by an R/N ratio when performing the inverse LFNST compared to when performing a general transform. Further, compared to the number of multiplication operations, N×N, when using the general inverse transform matrix, it is possible to reduce the number of multiplication operations by an R/N ratio (to N×R) when the inverse LFNST matrix is used. In addition, since only R transform coefficients need to be decoded when the inverse LFNST is applied, the total number of transform coefficients for the target block may be reduced from N to R, compared to when the general inverse transform is applied in which N transform coefficients need to be decoded, thus increasing decoding efficiency. That is, according to S1560, (inverse) transform efficiency and decoding efficiency of the decoding apparatus 200 may be increased through the inverse LFNST.

The decoding apparatus 200 according to an embodiment may derive residual samples for the target block based on the inverse primary transform for the modified transform coefficients (S1570).

On the other hand, when the LFNST is not applied, only the MTS-based primary inverse transform procedure may be applied in the inverse transform procedure as follows. That is, the decoding apparatus may determine whether the LFNST is applied to the current block as in the above-described embodiment, and when the LFNST is not applied, the decoding apparatus may derive residual samples from transform coefficients through a primary inverse transform.

The decoding apparatus may determine that the LFNST is not applied when significant coefficients exist in the second region other than the first top-left region of the current block, and may derive residual samples from the transform coefficients through primary inverse transform.

The primary inverse transform procedure may be referred to as an inverse primary transform procedure or an inverse MTS transform procedure. Such an MTS-based primary inverse transform procedure may also be omitted in some cases.

In addition, a simplified inverse transform may be applied to the inverse primary transform, or a conventional separable transform may be used.

The decoding apparatus 200 according to an embodiment may generate reconstructed samples based on residual samples of the current block and prediction samples of the current block (S1580).

The following drawings are provided to describe specific examples of the present disclosure. Since the specific designations of devices or the designations of specific signals/messages/fields illustrated in the drawings are provided for illustration, technical features of the present disclosure are not limited to specific designations used in the following drawings.

FIG. 16 is a flowchart illustrating an operation of a video encoding apparatus according to an embodiment of the present disclosure.

Each operation illustrated in FIG. 16 may be performed by the encoding apparatus 100 illustrated in FIG. 1 . Specifically, S1610 may be performed by the predictor 120 illustrated in FIG. 1 , S1620 may be performed by the subtractor 131 illustrated in FIG. 1 , S1630 to S1650 may be performed by the transformer 132 illustrated in FIG. 1 , and S1660 and S1670 may be performed by the quantizer 133 and the entropy encoder 240 illustrated in FIG. 1 . Operations according to S1610 to S1670 are based on some of contents described in FIG. 3 to FIG. 14 . Therefore, a description of specific details overlapping with those explained above with reference to FIG. 1 and FIG. 3 to FIG. 14 will be omitted or will be made briefly.

The encoding apparatus 100 according to an embodiment may derive prediction samples based on the intra prediction mode applied to the current block (S1610).

The encoding apparatus 100 according to an embodiment may derive residual samples for the current block based on the prediction samples (S1620).

The encoding apparatus 100 according to an embodiment may derive transform coefficients for the target block based on a primary transform for the residual samples (S1630).

The primary transform may be performed through a plurality of transform kernels, and in this case, a transform kernel may be selected based on the intra prediction mode.

The encoding apparatus 100 may determine whether to perform a secondary transform or a non-separable transform, specifically, LFNST, on transform coefficients for the current block.

When it is determined to perform the LFNST, the encoding apparatus 100 may derive modified transform coefficients for the current block based on the transform coefficients of the first region at the top-left of the current block and a predetermined LFNST matrix (S1640).

The encoding apparatus 100 may determine a transform set based on a mapping relationship according to an intra prediction mode applied to a current block, and may perform the LFNST, that is, a non-separable transform based on one of two LFNST matrices included in the transform set.

As described above, a plurality of transform sets may be determined according to the intra prediction mode of a transform block to be transformed. A matrix applied to the LFNST has a transpose relationship with a matrix used for the inverse LFNST.

In one example, the LFNST matrix may be a non-square matrix in which the number of rows is less than the number of columns.

The first region may be derived based on the size of the current block. For example, when the height and width of the current block is greater than or equal to 8, the first region is a 4×4 area of the top-left, top-right, and bottom-left of the 8×8 area at the top-left of the current block as shown in the left of FIG. 6 . When the height and width of the current block are not equal to or greater than 8, the first regio may be a 4×4 area at the top-left of the current block as shown in the right of FIG. 6 .

The transform coefficients of the first region may be read in a vertical or horizontal direction according to the intra prediction mode of the current block and arranged one-dimensionally for a multiplication operation with the LFNST matrix.

The 48 modified transform coefficients or the 16 modified transform coefficients of the first region may be read in the vertical or horizontal direction according to the intra prediction mode of the current block and arranged in one dimension. For example, if the intra prediction mode is a horizontal direction (modes 2 to 34 in FIG. 8 ) based on a diagonal direction (mode 34 in FIG. 8 ), the transform coefficients may be arranged in the horizontal direction, that is, in the row-first direction, as shown in (a) of FIG. 6 . When the intra prediction mode is a vertical direction (modes 35 to 66 in FIG. 8 ) based on the diagonal direction, the transform coefficients may be arranged in the vertical direction, that is, in a column-first direction, as shown in (b) of FIG. 6 .

In one example, the LFNST may be performed based on a simplified transform matrix or a transform kernel matrix, and the simplified transform matrix may be a non-square matrix in which the number of rows is less than the number of columns.

In one embodiment, S1640 may include determining whether the conditions for applying the LFNST are satisfied, generating and encoding the LFNST index based on the determination, selecting a transform kernel matrix and applying the LFNST to residual samples based on the selected transform kernel matrix and/or the simplification factor when the conditions for applying LFNST is satisfied. In this case, the size of the simplification transform matrix may be determined based on the simplification factor.

Referring to S1640, it can be confirmed that transform coefficients for the target block are derived based on the LFNST for the residual samples. Regarding the size of a transform kernel matrix, the size of a general transform kernel matrix is N×N, while the size of a simplified transform matrix is reduced to R×N, thus making it possible to reduce memory occupancy by an R/N ratio when performing the RST compared to when performing a general transform. Further, compared to the number of multiplication operations, N×N, when using the general transform kernel matrix, it is possible to reduce the number of multiplication operations by an R/N ratio (to R×N) when the simplified transform kernel matrix is used. In addition, since only R transform coefficients are derived when the RST is applied, the total number of transform coefficients for the target block may be reduced from N to R, compared to when the general transform is applied in which N transform coefficients are derived, thus reducing the amount of data transmitted by the encoding apparatus 100 to the decoding apparatus 200. That is, according to S1640, transform efficiency and coding efficiency of the encoding apparatus 100 may be increased through the LFNST.

Meanwhile, according to an example, the encoding apparatus may zero out the second region of the current block in which the modified transform coefficients do not exist (S1650).

As FIGS. 12 and 13 , all remaining regions of the current block in which the modified transform coefficients do not exist may be treated as zeros. Due to the zero-out, the amount of computation required to perform the entire transform process is reduced, and the amount of computation required for the entire transform process is reduced, thereby reducing power consumption required to perform the transform. In addition, the image coding efficiency may be increased by reducing the latency involved in the transform process.

On the other hand, when the LFNST is not applied, only the MTS-based primary transform procedure may be applied in the transform procedure as described above. That is, the encoding apparatus may determine whether the LFNST is applied to the current block as in the above-described embodiment, and when the LFNST is not applied, the encoding apparatus may derive transform coefficients from residual samples through the primary transform.

This primary transform procedure may be referred to as a primary transform procedure or an MTS transform procedure. Such an MTS-based primary transform procedure may also be omitted in some cases.

An encoding device according to an example may be configure image information so that the LFNST index indicating the LFNST matrix is parsed when the index of the subblock including the last significant coefficient in the current block is 0, the position of the last significant coefficient in the subblock is 0 or more, and there is no significant coefficient in the second region (S1660).

That is, the encoding apparatus according to an example may configure image information such that an LFNST index indicating an LFNST matrix is parsed when a significant coefficient exists in a region excluding a DC region of the current block and the above-described zero-out is performed.

The encoding apparatus may configure the image information so that the image information shown in Tables 6 and 8 may be parsed by the decoding apparatus.

According to an example, when the index of the subblock including the last significant coefficient in the current block is 0 and the position of the last significant coefficient in the subblock is greater than 0, it is determined that the significant coefficient exists in the region other than the DC region, and the image information can be configured such that the LFNST index is transmitted or signaled. In this document, the first position in the scan order may be 0.

In addition, according to an example, when the index of the sub-block including the last significant coefficient in the current block is greater than 0 and the width and height of the current block are 4 or more, it is determined that it is certain that the LFNST is not applied, and the image information may be configured so that the LFNST index is not signaled.

In addition, according to an example, when the size of the current block is 4×4 or 8×8 and the start of the position in the scan order is 0, the position of the last significant coefficient is greater than 7, the encoding apparatus may determine that it is certain that the LFNST is not applied, and configure the image information so that the LFNST index is not signaled.

That is, the encoding apparatus can configure the image information so that the LFNST index can be parsed according to the derived variable value after the variable LfnstDcOnly corresponding to the first flag information and the variable LfnstZeroOutSigCoeffFlag corresponding to the second flag information are derived in the decoding apparatus.

For example, the encoding apparatus sets the first flag information indicating whether the position of the last significant coefficient is greater than 0 in a subblock having an index of 0 to 1, when the position of the last significant coefficient in the subblock having the index 0 is greater than 0, the first flag information may be changed to 0. In this case, the LFNST index may be encoded.

In addition, the encoding apparatus sets the second flag information indicating whether a significant coefficient exists in the second region except for the first region to 1, when the significant coefficient does not exist in the second region, the second flag information may be maintained as 1. In this case, the LFNST index may be encoded.

On the other hand, when the index of the subblock including the last significant coefficient in the current block is greater than 0 and the width and height of the current block are 4 or more, the encoding apparatus may change the second flag information to 0, or when the size of the current block is 4×4 or 8×8 and the position of the last significant coefficient is 8 or more, the encoding apparatus may change the second flag information to 0. In this case, since the image information is configured so that the LFNST index is not parsed, the LFNST index is not encoded.

The encoding apparatus 100 according to an embodiment may derive quantized transform coefficients by performing quantization based on the modified transform coefficients for the target block, and may encode and output image information including information about the quantized transform coefficients and the LFNST index (S1670).

That is, the encoding apparatus may generate residual information including information on quantized transform coefficients. The residual information may include the above-described transform related information/syntax element. The encoding apparatus may encode image/video information including residual information and output the encoded image/video information in the form of a bitstream.

More specifically, the encoding apparatus 100 may generate information about the quantized transform coefficients and encode the information about the generated quantized transform coefficients.

In one example, information on the quantized transform coefficients may include at least one of information on whether LFNST is applied, information on a simplification factor, information on a minimum transform size to which LFNST is applied, and information on a maximum transform size to which LFNST is applied.

Also, the encoding apparatus 100 may encode information on the size of the maximum transform applied block, for example, syntax information on the transform block size such as sps_log 2_max_luma_transform_size_minus5, or flag information such as sps_max_luma_transform_size_64_flag at the sequence parameter set level.

In the present disclosure, at least one of quantization/dequantization and/or transform/inverse transform may be omitted. When quantization/dequantization is omitted, a quantized transform coefficient may be referred to as a transform coefficient. When transform/inverse transform is omitted, the transform coefficient may be referred to as a coefficient or a residual coefficient, or may still be referred to as a transform coefficient for consistency of expression.

In addition, in the present disclosure, a quantized transform coefficient and a transform coefficient may be referred to as a transform coefficient and a scaled transform coefficient, respectively. In this case, residual information may include information on a transform coefficient(s), and the information on the transform coefficient(s) may be signaled through a residual coding syntax. Transform coefficients may be derived based on the residual information (or information on the transform coefficient(s)), and scaled transform coefficients may be derived through inverse transform (scaling) of the transform coefficients. Residual samples may be derived based on the inverse transform (transform) of the scaled transform coefficients. These details may also be applied/expressed in other parts of the present disclosure.

In the above-described embodiments, the methods are explained on the basis of flowcharts by means of a series of steps or blocks, but the present disclosure is not limited to the order of steps, and a certain step may be performed in order or step different from that described above, or concurrently with another step. Further, it may be understood by a person having ordinary skill in the art that the steps shown in a flowchart are not exclusive, and that another step may be incorporated or one or more steps of the flowchart may be removed without affecting the scope of the present disclosure.

The above-described methods according to the present disclosure may be implemented as a software form, and an encoding apparatus and/or decoding apparatus according to the disclosure may be included in a device for image processing, such as, a TV, a computer, a smartphone, a set-top box, a display device or the like.

When embodiments in the present disclosure are embodied by software, the above-described methods may be embodied as modules (processes, functions or the like) to perform the above-described functions. The modules may be stored in a memory and may be executed by a processor. The memory may be inside or outside the processor and may be connected to the processor in various well-known manners. The processor may include an application-specific integrated circuit (ASIC), other chipset, logic circuit, and/or a data processing device. The memory may include a read-only memory (ROM), a random access memory (RAM), a flash memory, a memory card, a storage medium, and/or other storage device. That is, embodiments described in the present disclosure may be embodied and performed on a processor, a microprocessor, a controller or a chip. For example, function units shown in each drawing may be embodied and performed on a computer, a processor, a microprocessor, a controller or a chip.

Further, the decoding apparatus and the encoding apparatus to which the present disclosure is applied, may be included in a multimedia broadcasting transceiver, a mobile communication terminal, a home cinema video device, a digital cinema video device, a surveillance camera, a video chat device, a real time communication device such as video communication, a mobile streaming device, a storage medium, a camcorder, a video on demand (VoD) service providing device, an over the top (OTT) video device, an Internet streaming service providing device, a three-dimensional (3D) video device, a video telephony video device, and a medical video device, and may be used to process a video signal or a data signal. For example, the over the top (OTT) video device may include a game console, a Blu-ray player, an Internet access TV, a Home theater system, a smartphone, a Tablet PC, a digital video recorder (DVR) and the like.

In addition, the processing method to which the present disclosure is applied, may be produced in the form of a program executed by a computer, and be stored in a computer-readable recording medium. Multimedia data having a data structure according to the present disclosure may also be stored in a computer-readable recording medium. The computer-readable recording medium includes all kinds of storage devices and distributed storage devices in which computer-readable data are stored. The computer-readable recording medium may include, for example, a Blu-ray Disc (BD), a universal serial bus (USB), a ROM, a PROM, an EPROM, an EEPROM, a RAM, a CD-ROM, a magnetic tape, a floppy disk, and an optical data storage device. Further, the computer-readable recording medium includes media embodied in the form of a carrier wave (for example, transmission over the Internet). In addition, a bitstream generated by the encoding method may be stored in a computer-readable recording medium or transmitted through a wired or wireless communication network. Additionally, the embodiments of the present disclosure may be embodied as a computer program product by program codes, and the program codes may be executed on a computer by the embodiments of the present disclosure. The program codes may be stored on a computer-readable carrier.

FIG. 17 schematically illustrates an example of a video/image coding system to which the present disclosure is applicable.

Referring to FIG. 17 , the video/image coding system may include a first device (source device) and a second device (receive device). The source device may deliver encoded video/image information or data in the form of a file or streaming to the receive device via a digital storage medium or network.

The source device may include a video source, an encoding apparatus, and a transmitter. The receive device may include a receiver, a decoding apparatus, and a renderer. The encoding apparatus may be called a video/image encoding apparatus, and the decoding apparatus may be called a video/image decoding apparatus. The transmitter may be included in the encoding apparatus. The receiver may be included in the decoding apparatus. The renderer may include a display, and the display may be configured as a separate device or an external component.

The video source may obtain a video/image through a process of capturing, synthesizing, or generating a video/image. The video source may include a video/image capture device and/or a video/image generating device. The video/image capture device may include, for example, one or more cameras, video/image archives including previously captured video/images, or the like. The video/image generating device may include, for example, a computer, a tablet and a smartphone, and may (electronically) generate a video/image. For example, a virtual video/image may be generated through a computer or the like. In this case, the video/image capturing process may be replaced by a process of generating related data.

The encoding apparatus may encode an input video/image. The encoding apparatus may perform a series of procedures such as prediction, transform, and quantization for compression and coding efficiency. The encoded data (encoded video/image information) may be output in the form of a bitstream.

The transmitter may transmit the encoded video/image information or data output in the form of a bitstream to the receiver of the receive device through a digital storage medium or a network in the form of a file or streaming The digital storage medium may include various storage mediums such as USB, SD, CD, DVD, Blu-ray, HDD, SSD, and the like. The transmitter may include an element for generating a media file through a predetermined file format, and may include an element for transmission through a broadcast/communication network. The receiver may receive/extract the bitstream and transmit the received/extracted bitstream to the decoding apparatus.

The decoding apparatus may decode a video/image by performing a series of procedures such as dequantization, inverse transform, prediction, and the like corresponding to the operation of the encoding apparatus.

The renderer may render the decoded video/image. The rendered video/image may be displayed through the display.

FIG. 18 illustrates the structure of a content streaming system to which the present disclosure is applied.

Further, the contents streaming system to which the present disclosure is applied may largely include an encoding server, a streaming server, a web server, a media storage, a user equipment, and a multimedia input device.

The encoding server functions to compress to digital data the contents input from the multimedia input devices, such as the smart phone, the camera, the camcorder and the like, to generate a bitstream, and to transmit it to the streaming server. As another example, in a case where the multimedia input device, such as, the smart phone, the camera, the camcorder or the like, directly generates a bitstream, the encoding server may be omitted. The bitstream may be generated by an encoding method or a bitstream generation method to which the present disclosure is applied. And the streaming server may store the bitstream temporarily during a process to transmit or receive the bitstream.

The streaming server transmits multimedia data to the user equipment on the basis of a user's request through the web server, which functions as an instrument that informs a user of what service there is. When the user requests a service which the user wants, the web server transfers the request to the streaming server, and the streaming server transmits multimedia data to the user. In this regard, the contents streaming system may include a separate control server, and in this case, the control server functions to control commands/responses between respective equipments in the content streaming system.

The streaming server may receive contents from the media storage and/or the encoding server. For example, in a case the contents are received from the encoding server, the contents may be received in real time. In this case, the streaming server may store the bitstream for a predetermined period of time to provide the streaming service smoothly.

For example, the user equipment may include a mobile phone, a smart phone, a laptop computer, a digital broadcasting terminal, a personal digital assistant (PDA), a portable multimedia player (PMP), a navigation, a slate PC, a tablet PC, an ultrabook, a wearable device (e.g., a watch-type terminal (smart watch), a glass-type terminal (smart glass), a head mounted display (HMD)), a digital TV, a desktop computer, a digital signage or the like. Each of servers in the contents streaming system may be operated as a distributed server, and in this case, data received by each server may be processed in distributed manner

Claims disclosed herein can be combined in a various way. For example, technical features of method claims of the present disclosure can be combined to be implemented or performed in an apparatus, and technical features of apparatus claims can be combined to be implemented or performed in a method. Further, technical features of method claims and apparatus claims can be combined to be implemented or performed in an apparatus, and technical features of method claims and apparatus claims can be combined to be implemented or performed in a method. 

1-15. (canceled)
 16. An image decoding method performed by a decoding apparatus, the method comprising: obtaining residual information from a bitstream; deriving transform coefficients for the current block based on the residual information; deriving modified transform coefficients based on a low-frequency non-separable transform (LFNST) for the transform coefficients; deriving residual samples for the current block based on an inverse primary transform for the modified transform coefficients; and generating a reconstructed picture based on the residual samples for the current block, wherein the deriving transform coefficients comprising: determining whether a last significant coefficient is present at (0, 0) of the current block; determining whether a significant coefficient is present in a second region other than a first region at a top-left of the current block, wherein the LFNST is performed based on parsing an LFNST index, wherein based on a width and a height of the current block being 4 or more and the width or the height of the current block being less than 8, the first region is a 4×4 area at the top-left of the current block and based on the significant coefficient being present in the second region other than the 4×4 area at the top-left, the LFNST index is not parsed, wherein based on the width and the height of the current block being greater than 8, 16 transform coefficients are derived, and wherein the 16 transform coefficients are arranged in the 4×4 area at the top-left of the current block and the second region other than the 4×4 area is filled with zeros.
 17. The image decoding method of claim 16, further comprising setting first flag information related to whether the last significant coefficient is present at (0, 0) of the current block to 1, and wherein based on the last significant coefficient not being present at (0, 0) of the current block, changing the first flag information to 0 and parsing the LFNST index.
 18. The image decoding method of claim 16, further comprising setting second flag information related to whether the significant coefficient is present in the second region to 1, and wherein when there is no significant coefficient in the second region, maintaining the second flag information as 1 and parsing the LFNST index.
 19. The image decoding method of claim 18, wherein the second flag information is derived as 0 based on an index of a sub-block including the last significant coefficient in the current block being greater than 0 and the width and the height of the current block being 4 or more, and wherein the LFNST index is not parsed based on the second flag information being
 0. 20. The image decoding method of claim 18, wherein the second flag information is derived as 0 based on a size of the current block being 4×4 or 8×8 and a position of the last significant coefficient being greater than or equal to 8, and wherein the LFNST index is not parsed based on the second flag information being
 0. 21. The image decoding method of claim 16, wherein the first region is derived based on a size of the current block, wherein based on the size of the current block being 4×4 or 8×8, the first region is from the top-left of the current block to an 8th sample position in a scan direction, and wherein based on the size of the current block being not 4×4 or 8×8, the first region is the 4×4 area at the top-left of the current block.
 22. The image decoding method of claim 16, wherein a predetermined number of the modified transform coefficients are derived based on a size of the current block, wherein based on the height and the width of the current block being greater than or equal to 8, 48 modified transform coefficients are derived, and wherein based on the width and the height of the current block being 4 or more and the width or the height of the current block being less than 8, 16 modified transform coefficients are derived.
 23. The image decoding method of claim 22, wherein the 48 modified transform coefficients are arranged in top-left, top-right, and bottom-left 4×4 areas among a top-left 8×8 area of the current block, and wherein the 16 modified transform coefficients are arranged in the top-left 4×4 area of the current block.
 24. An image encoding method performed by an image encoding apparatus, the method comprising: deriving prediction samples for a current block; deriving residual samples for the current block based on the prediction samples; deriving transform coefficients for the current block based on a primary transform for the residual samples; deriving modified transform coefficients for the current block based on a low-frequency non-separable transform (LFNST) for the transform coefficients of a first region at a top-left of the current block; constructing image information so that an LFNST index related to the LFNST is transmitted based on a last significant coefficient not being present at (0, 0) of the current block and a significant coefficient not being present in a second region of the current block, and outputting the image information including residual information related to the modified transform coefficients and the LFNST index, wherein based on a width and a height of the current block being 4 or more and the width or the height of the current block being less than 8, the first region is a 4×4 area at the top-left of the current block and based on the significant coefficient being present in the second region other than the 4×4 area at the top-left, the LFNST index is not encoded, wherein based on the width and the height of the current block being greater than 8, 16 modified transform coefficients are derived, and wherein the 16 modified transform coefficients are arranged in the 4×4 area at the top-left of the current block and the second region other than the 4×4 area is filled with zeros.
 25. The image encoding method of claim 24, wherein constructing image information comprises: setting first flag information related to whether the last significant coefficient is present at (0, 0) of the current block to 1; changing the first flag information to 0 based on the last significant coefficient not being present at (0, 0) of the current block; and encoding the LFNST index.
 26. The image encoding method of claim 24, wherein constructing image information comprises: setting second flag information related to whether the significant coefficient is present in the second region to 1; maintaining the second flag information as 1 when there is no significant coefficient in the second region; and encoding the LFNST index.
 27. The image encoding method of claim 26, wherein the second flag information is changed to 0 based on an index of a sub-block including the last significant coefficient in the current block being greater than 0 and the width and the height of the current block being 4 or more, and wherein the image information is configured so that the LFNST index is not transmitted based on the second flag information being
 0. 28. The image encoding method of claim 26, wherein the second flag information is changed as 0 based on a size of the current block being 4×4 or 8×8 and a position of the last significant coefficient being greater than or equal to 8, and wherein the image information is configured so that the LFNST index is not transmitted based on the second flag information being
 0. 29. The image encoding method of claim 24, wherein the first region is derived based on a size of the current block, wherein based on the height and the width of the current block being greater than or equal to 8, the first region is the top-left, top-right, and bottom-left 4×4 areas within a top-left 8×8 area of the current block, and wherein based on the width and the height of the current block being 4 or more and the width or the height of the current block being less than 8, the first region is the top-left 4×4 area of the current block.
 30. A non-transitory computer-readable digital storage medium that stores a bitstream generated by the image encoding method of claim
 24. 31. A transmission method of data for an image, the method comprising: obtaining a bitstream for the image, wherein the bitstream is generated based on deriving prediction samples for a current block; deriving residual samples for the current block based on the prediction samples; deriving transform coefficients for the current block based on a primary transform for the residual samples; deriving modified transform coefficients for the current block based on a low-frequency non-separable transform (LFNST) for the transform coefficients of a first region at a top-left of the current block; constructing image information so that an LFNST index related to the LFNST is transmitted based on a last significant coefficient not being present at (0, 0) of the current block and a significant coefficient not being present in a second region of the current block, and outputting the image information including residual information related to the modified transform coefficients and the LFNST index to generate the bitstream, and transmitting the data comprising the bitstream, wherein based on a width and a height of the current block being 4 or more and the width or the height of the current block being less than 8, the first region is a 4×4 area at the top-left of the current block and based on the significant coefficient being present in the second region other than the 4×4 area at the top-left, the LFNST index is not encoded, wherein based on the width and the height of the current block being greater than 8, 16 modified transform coefficients are derived, and wherein the 16 modified transform coefficients are arranged in the 4×4 area at the top-left of the current block and the second region other than the 4×4 area is filled with zeros. 